To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996)cs.virginia.edu2 pointsnamarkiv12 years ago