Lambda Calculator Lambda calculus made easy.
Download

Lambda Calculator Ranking & Summary

Lambda Calculator Tags

calculator calculate calculus Subtraction calculator veterinary calculus lambda expressions lambda calculus compiler erlang calculus lambda expression Pi-Calculus Simulator Lambda Equation differential calculus integral calculus lambda parameter lambda calculator lambda calculus reduction sequence PI-calculus Model Calculus Programming simple floor plan mds to pot memory manager for Fortran Calculus Programming lg kg195 games h3po3 strong acid nostradamus prophecy 1971 mean calculator mp4 video tag navigator smartphone free wordpad to jar maplestory repeat program Fortran Calculus compiler Fortran Calculus Language furc

Lambda Calculator Description

Lambda Calculator is a handy, Java based engine specially designed for the lambda calculus. 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 Related Software