A security kernel based on the lambda calculus (1996)mumble.net3 points·tonyg··0 commentsOpen articleSaveView on HN