To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996)(cs.virginia.edu)2 points by namarkiv 12 years ago | 0 commentsNo comments yet