-
Notifications
You must be signed in to change notification settings - Fork 3
Home
noti0na1 edited this page Nov 20, 2016
·
2 revisions
Welcome to the LambdaCalculus-java wiki!
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
-
What is Lambda Calculus: https://en.wikipedia.org/wiki/Lambda_calculus
-
More materials: A Tutorial Introduction to the Lambda Calculus
See more examples in com.notnl.lambda.examples