P people.csail.mit.edu Algebra and the Lambda Calculus (1993) 196 points espeed 8 years ago 39 comments