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.

External resources

 * John's Lambda Calculus and Combinatory Logic Playground
 * John's Lambda Calculus and Combinatory Logic Playground