To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996)cs.virginia.edu2 points·namarkiv··0 commentsOpen articleSaveView on HN