Church encoding

Today it means: A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus. Full definition →