Lambda Calculator
Lambda Calculator
- Downloads: 404
- Requirements: Windows XP, 2000, 98
- Size: 79KB
- Licence: Freeware Free
- Version: Lambda
- Added At: 2010-12-05
- Publisher Site:
Lambda Calculator
"Lambda Calculator is an engine for the lambda calculus invented by Church."Edit By BS Editor: 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.
Soft85 only provide legal software, please help us keeping pur site legal, if you think this page is violating copyrights please let us know by clicking here Here
