To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996)http://www.cs.virginia.edu/~cs655/readings/mockingbird.html by namarkiv • 12 years ago 2 0 12 years agoCScs.virginia.edu