Church encoding
= Church encoding
{c}
{wiki}
<Church encoding> represents data and operations as terms of the <lambda calculus>. A <Church numeral> represents a natural number by repeated function application; a <Church Boolean> selects one of two arguments.