The practical lambda calculator offers time-saving commands and shortcuts for Lambda calculus computations.
Downloading A practical lambda-calculator ...
If the download does not start automatically, please click here.
Our system has scanned the download for viruses, and we suggest that you also check the files before installation. The version of A practical lambda-calculator you are about to download is 2.2, and the download will be provided as is, with no modifications or changes made on our end.