https://github.com/jack994/lambdacalculus_in_sml
https://github.com/jack994/lambdacalculus_in_sml
functional-programming lambda-calculus sml
Last synced: 4 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/jack994/lambdacalculus_in_sml
- Owner: jack994
- Created: 2017-11-06T16:09:10.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2017-11-07T17:28:20.000Z (over 8 years ago)
- Last Synced: 2025-06-03T08:47:42.369Z (about 1 year ago)
- Topics: functional-programming, lambda-calculus, sml
- Language: Standard ML
- Size: 11.7 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Lambda Calculus in SML
The program implements beta and eta reduction in SML as well as the translations to different notations of lambda calculus and Combinatory Logic.
The syntax of λ-calculus is given by M ::= V | (λV.M) | (MM)
The syntax of λ-calculus in item notation is given by M′ ::= V | [V] M′ |〈M′〉M′
The syntax of λ-calculus with de Bruijn indices is given by Λ ::= N | (λΛ) | (ΛΛ)
The syntax of λ-calculus in item notation is given by Λ′ ::= N | [ ] Λ′ |〈Λ′〉Λ′
The syntax of combinatory logic is given by M′′ ::= V | I′′ | K′′ | S′′ | (M′′M′′)