Church encoding
nounEtymology Named after Alonzo Church.
1
Mathematics, Sciences 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 pair, Church's theorem