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.
- 8 years, 6 months ago
- No ratings.
ReviewsNobody has reviewed this file yet.
- Lambda Calculus expression evaluator (published 8 years, 6 months ago; 2014-07-31 00:00 UTC)