Lambda Calculi

• Lambda Calculi

• Lambda Cube

• Simply-typed Lambda Calculus

• Typed Lambda Calculi

• Untyped Lambda Calculus

https://sookocheff.com/post/fp/introducing-lambda-calculus/ https://sookocheff.com/post/fp/evaluating-lambda-expressions/ https://sookocheff.com/post/fp/typed-lambda-calculus/ https://sookocheff.com/post/fp/representing-pairs-and-lists-in-lambda-calculus/