Home / Dictionary / Church encoding

Church encoding Uncommon

Definition, synonyms and related words

Definitions
Noun
1

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

See Also
church numeral structure church's theorem data mathematical operator lambda calculus
Related Terms
Rhyming Words
ing ging ying sing ling xing ting zing fing hing qing ving ring jing ping king ning oing ding ming
Compare
Church encoding vs