Top Qs
Timeline
Chat
Perspective
Church encoding
From Wiktionary, the free dictionary
Remove ads
English
Etymology
Named after Alonzo Church.
Noun
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.
Related terms
- Church numeral
- Church's theorem
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads