To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction

No queries for users.bigpond.net.au/d.keenan/Lambda/