Lambda Calculus, detailed history (D Scott)[PDF, 30pgs]turing100.acm.org7 points·gtani··0 commentsOpen articleSaveView on HN