Church encodings
Church encodings is the plural of Church encoding.
Meaning of Church encoding
Noun
Church encoding (countable and uncountable, plural Church encodings)
- A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
Questions about Church encodings
- What is Church encodings the plural of?
- Church encodings is the plural of Church encoding.
Words near Church encodings in the dictionary
Source and license
Adapted from Wiktionary: Church encodings (page history and authors); 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 encodings.” Word.ws, https://word.ws/church_encodings. Based on Wiktionary, CC BY-SA 4.0.
