"Lambda calculus is a notation for describing mathematical functions and programs. It is a mathematical system for studying the interaction of functional abstra

"Lambda calculus is a notation for describing mathematical functions and programs. It is a mathematical system for studying the interaction of functional abstraction and functional application. It captures some of the essential, common features of a wide variety of programming languages." - https://www.cs.cornell.edu/courses/cs3110/2008fa/recitations/rec26.html https://www.cs.cornell.edu/courses/cs3110/2008fa/recitations...