Sun, 04 Mar 2012 13:00:00 GMT

If you ever wanted to explain the lambda calculus to eight year old children, maybe this is what you are looking for, a visualisation of the lambda calculus, using crocodiles and their eggs. The rules are rather simple, and they yield an alternative notation for lambda terms.

Another notation is the bubble notation, it uses colored circles, and denotes variables by empty circles. The notation may not be as clear as the crocodile notation, but the animations look nice. It can be generated via the software Visual Lambda - unfortunately I found no possibility to actually export the animations, so I made a screencast for the calculation of the factorial of 3.

(Youtube-Direktlink)

Another notation is the bubble notation, it uses colored circles, and denotes variables by empty circles. The notation may not be as clear as the crocodile notation, but the animations look nice. It can be generated via the software Visual Lambda - unfortunately I found no possibility to actually export the animations, so I made a screencast for the calculation of the factorial of 3.

(Youtube-Direktlink)