Lambda Calculator

Lambda Calculator is a small software application developed specifically for helping you perform lambda calculus operations in a clutter-free interface.
It can be deployed on all Windows versions out there, provided that you have the Java working environment deployed on the target PC.

Drop it on pen drives

You can take advantage of the program’s portability status and run it without administrative privileges. It takes a double-click on the executable file in order to gain access to the tool’s GUI. You may keep it stored on pen drives or other portable devices to have it with you all the time.
The utility does write entries to your Windows registry and leave other configuration files behind. You can uninstall it with a simple deletion task of the executable file that you have downloaded from the Internet.

Clean looks

Lambda Calculator reveals a simple design that incorporates only a few configuration parameters. A help manual is included in the package in case you need to find out more details about the setup options. The application can also be controlled via the command-line console in case you have are familiar with inputting parameters in the CMD environment.

Lambda calculus tasks

The application offers you the possibility to type in lambda expressions directly in the main window or paste the information from the clipboard. Based upon the input expression, the utility reveals the sequence of reductions that it performs upon simplifying your expression.
What’s more, you can define symbols to represent lambda expression and build lambda expressions based on four rules, namely single identifiers (any string of non-space characters is treated as identifier), functions (you can apply a function to an argument), abstract lambda expressions, and parentheses.
Lambda Calculator lets you work with several engines, namely maximum reduction and evaluation order, make use of applied calculus, as well as enable eta reductions.
Last but not least, you can set the maximum length of characters displayed in lambda expressions, print lambda characters, adjust the font size displayed in the main window, and show a browser with all currently defined symbols.
Tests have shown that Lambda Calculator carries out a task quickly and without errors. It does not eat up a lot of CPU and memory resources so the overall performance of the PC is not hampered.

Final remarks

To sum things up, Lambda Calculator comes packed with several handy tools for helping you learn about and experiment with the lambda calculus.