Lambda calculus definition
Lambda calculus is a formal mathematical system based on lambda abstraction and function application. Two definitions of the language are given here: a standard definition, and a definition using mathematical formulas.
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
Lambda calculus definition
Lambda calculus is a formal mathematical system based on lambda abstraction and function application. Two definitions of the language are given here: a standard definition, and a definition using mathematical formulas.
has abstract
Lambda calculus is a formal ma ...... n using mathematical formulas.
@en
Wikipage page ID
44,382,704
page length (characters) of wiki page
Wikipage revision ID
991,082,913
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
Lambda calculus is a formal ma ...... n using mathematical formulas.
@en
label
Lambda calculus definition
@en