To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996) #1 Post by namarkiv » Sat, Feb 22, 2014, 12:38 PM UTC To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996)cs.virginia.edu