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

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

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

Advertisement