Binary lambda calculus

Binary lambda calculus (BLC) is a version of lambda calculus with provisions for binary I/O, a standard binary encoding of lambda terms, and a designated universal machine.

See also

• Binary combinatory logic

External resources

• Binary lambda calculus at Wikipedia (from the Wayback Machine; retrieved on 19 October 2016)
• John's Lambda Calculus and Combinatory Logic Playground