bn:01060070n
Noun Concept
Categories: Computability theory, Theoretical computer science, Lambda calculus, Formal methods, Articles with short description
EN
Lambda calculus  A conversion  Abstraction operator  Alpha-conversion  Alpha-renaming
EN
Lambda calculus is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. Wikipedia
Definitions
Relations
Sources
EN
Lambda calculus is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. Wikipedia
Formal system in mathematical logic Wikidata
Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions. Wiktionary
Algebraic system. Wiktionary (translation)