411 REFERENCE · Wiktionary
Church encoding
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
Named after Alonzo Church.
Noun
~
en math A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
Related terms
en Church numeral
en Church pair
en Church's theorem
en eponyms