Word.ws English Dictionary

Church encoding

Church encoding noun: a means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.

Noun

Church encoding (countable and uncountable, plural Church encodings)

  1. A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.

Forms of Church encoding

pluralChurch encodings

Origin of Church encoding

Named after Alonzo Church.

Questions about Church encoding

What does Church encoding mean?
Church encoding means a means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
What part of speech is Church encoding?
Church encoding is a noun.
What is the plural of Church encoding?
The plural of Church encoding is Church encodings.

Words near Church encoding in the dictionary

  1. church crown
  2. church crowns
  3. church door
  4. church doors
  5. Church Eaton
  6. Church encoding
  7. Church encodings
  8. Church End
  9. Church Father
  10. Church Fathers
  11. Church Fenton

Source and license

Adapted from Wiktionary: Church encoding (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Church encoding.” Word.ws, https://word.ws/church_encoding. Based on Wiktionary, CC BY-SA 4.0.