4 ms·A Graphical Notation for the Lambda Calculus with Animated Reduction(1996)1 points by kercker 10y ago