3 ms·A Graphical Notation for the Lambda Calculus with Animated Reduction2 points by memorable 4y ago