Questions Tagged [lambda-calculus]

λ-calculus is a formal system for function definition, function application and recursion which forms the mathematical basis of functional programming.

Question is empty. Ask new Question

Popular Questions