Church encoding

Etymology
Named after.

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.