KnowraLambda calculusLinked fromLinked fromThe 23 pages that link to Lambda calculus, each with the reason it gives.All 23Broader topic 2Related 11Narrower topic 4Compared with 6FunctionRelated: It gives functions a precise role in the foundations of computation.Type theoryRelated: Lambda calculus supplies a core language for many type theories.SemanticsRelated: It represents the functions that combine meanings in compositional semantic analyses.Computer scienceRelated: It offers a foundational model of computation closely connected to programming languages.EntscheidungsproblemRelated: Church’s proof used lambda calculus to formalize effective calculability and establish undecidability.Computable functionRelated: Its evaluation rules provide another formal account of computable functions.Bound variableRelated: Lambda abstraction uses the same scope-based notion of variable binding.Undecidable problemRelated: Church used this calculus to formalize effective computation and prove undecidability.Theoretical computer scienceRelated: Its equivalence to Turing machines connects programming languages to computability.Barbara H. ParteeRelated: Lambda abstraction lets semantic representations compose when syntactic structures combine.Cartesian closed categoryRelated: Cartesian closed categories interpret lambda abstraction and application through exponentials and evaluation.