6 ms·To Dissect a Mockingbird: Lambda Calculus with Animated Reduction (1996)2 points by namarkiv 13y ago