Church encoding

Noun

Meaning

Church encoding (countable and uncountable, plural Church encodings)

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

Source: en.wiktionary.org

Related terms

Church numeral Church's theorem

Close letter words and terms

church door church dulcimer Church Eaton Church Enstone church family Church Father