Church encoding

== 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 pair Church's theorem