To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996)cs.virginia.edu·2 pts·namarkiv·0