Church encoding
A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
Noun
- A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus.
Origin
Named after Alonzo Church.