Home page
Download
Documentation
Version History
Comments
Screen shot of Lambda Calculator v1.01, released April 2003
A JavaScript-based version that runs in your Web browser is also available.
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.
If you enjoy Lambda Calculator, you might also enjoy Automaton Simulator, Grammar Editor, and Logisim.