Meanings
nounChurch encoding (countable and uncountable, plural Church encodings)
plural Church encodings
- countableuncountablemathematicsA means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
Origin
Named after Alonzo Church.
Full word history & related roots →Cite this entry
APA
Church encoding. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/Church%20encoding
MLA
“Church encoding.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Church%20encoding. Accessed November 2, 2026.
Chicago
WatkinsX Dictionary, s.v. “Church encoding,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/Church%20encoding.
Source: Church encoding on Wiktionary, CC BY-SA 4.0.