English Explanatory Dictionary

Church encoding

English dictionary entry

Meanings

noun

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

Word forms

Church encoding Church encodings

Etymology

Named after Alonzo Church.

Related words

Church numeral Church pair Church's theorem

Previous

Next

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.

Back to search All on C Russian dictionary Dahl dictionary