Home

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