A Graphical Notation for the Lambda Calculus with Animated Reductionusers.bigpond.net.au4 points·eru··0 commentsOpen articleSaveView on HN