Lambda Calculator Enter a lambda expression and reduce it to normal form
Download

Lambda Calculator Ranking & Summary

Lambda Calculator Tags

expression calculator expression reduce lambda reduce expression lambda expression

Lambda Calculator Description

Enter a lambda expression and reduce it to normal form Lambda Calculator is an free and easy to use engine for the lambda calculus invented by Church. Lambda Calculator 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. Lambda Calculator allows a variety of customization options, including choices between the pure calculus and a simple applied calculus and between eager and lazy evaluation. Lambda Calculator is an useful tool for learning and experimenting with the lambda calculus. Requirements: · Java 1.4 or later What's New in This Release: · Feature: Via the Maximum Length option, the program allows the user to bound the maximum number of characters displayed in each expression printed. This makes the computation process go more quickly and the text area work more efficiently. · Feature: The program displays lambda characters in place of backslashes. The Print Lambda Character option gives the ability to disable the feature. · Interface tweak: When the input field is displaying the value of a symbol, and then the user changes the value in the field, the program deselects the symbol in the browser. · Bug fix: An error in equality-testing of identifiers led some Java installations to fail to recognize matching symbols in expressions.

Lambda Calculator Related Software