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 .