Original: In mathematical logic and computer science, lambda calculus, also written as Î "- calculus, is a formal system for function definition, function application and recursion.
Simplified: In mathematical logic and computer science, lambda calculus, also Î "- calculus, is a formal system.