# Binary lambda calculus

From Esolang

**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

## External resources

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