Untyped Lambda Calculus Interpretations v1

ULCIv1

Some audiovisualizations of computations in lambda calculus, including arithmetic, factorial, Fibonacci number, Ackermann function, and square root.

Downloads:

HD OggDVD MPEG2LD Ogg
sixteen 2 MB 4 MB 1 MB
fact4 70 MB 85 MB 10 MB
fib6 93 MB 109 MB 11 MB
ack23 76 MB 95 MB 11 MB
sqrt22 99 MB 119 MB 11 MB

Source code: ulci.tar.bz2