Lambda Calculus expression evaluator
  1. All files
  2. HP Prime Programs
  3. HP Prime Math Programs

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

Screenshot #5387 Screenshot #5388 Screenshot #5389

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
9 years, 8 months ago

Statistics

Rating
No ratings.
Downloads
704
Views
1564

Reviews

Nobody has reviewed this file yet.

Versions

  1. Lambda Calculus expression evaluator (published 9 years, 8 months ago; 2014-07-31 00:00 UTC)

Advertisement