Screen shot of Lambda Calculator v1.01, released April 2003
Lambda Calculator is an engine for the lambda calculus invented by Church. It allows the user to enter a lambda expression and see the sequence of reductions taken by the engine to reduce the expression to normal form. The program allows a variety of customization options, including choices between the pure calculus and a simple applied calculus and between eager and lazy evaluation. It is a useful tool for learning and experimenting with the lambda calculus.
Lambda Calculator should run on any platform having Java 1.4. The program is free for your personal use, though you cannot distribute it to others.