Lambda Calculus expression evaluator
Description
Lambda supports a dictionary of lambda calculus expressions and the evaluation (application) of one term to another. It recognizes Church Numerals automatically, so these don't have to be added to the dictionary. This version uses standard notation Lambda abstractions and builds De Brujin for use in applications, avoiding alpha conversion needs. This app is based on HP's Spreadsheet app and uses the spreadsheet as a dictionary of terms. You can enter standard notation or De Brujin notation when adding terms and the app will calculate the other.
Screenshots
Archive Contents
Name | Size |
---|---|
lcalculus.GIF | 28.9 KB |
LCalculus.hpapp | 3.3 KB |
LCalculus.hpappnote | 2 bytes |
LCalculus.hpappprgm | 19.2 KB |
LCalculus1.PNG | 37.5 KB |
LCalculus2.PNG | 42.7 KB |
LCalculus3.PNG | 36.5 KB |
README.txt | 1.8 KB |
Download file
- File Size
- 151.0 KB
- Short link
- http://ceme.tech/DL1128
Metadata
- Author
- brianodell
- Uploaded
- 10 years, 3 months ago
Statistics
- Rating
- No ratings.
- Downloads
- 757
- Views
- 1865
Reviews
Nobody has reviewed this file yet.Versions
- Lambda Calculus expression evaluator (published 10 years, 3 months ago; 2014-07-31 00:00 UTC)
Advertisement