[Revised entry by Jesse Alama and Johannes Korbmacher on July 25, 2023. Changes to: Main text, Bibliography] The (lambda)-calculus is, at heart, a simple notation for functions and application. The main ideas are applying a function to an argument and forming functions by abstraction. The syntax of basic (lambda)-calculus is quite sparse, making it an Read More

The post The Lambda Calculus appeared first on Philosophy News.