# Binary lambda calculus

(Redirected from BLC)

Jump to navigation
Jump to search
**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.

The program is as a sequence of bits. The following commands are defined:

- 00x = Lambda function with body x
- 01xy = Apply function x of y
- 1x0 = Where x is zero or more "1" bits, make the de Bruijn index of the lambda, for example 10 is the innermost argument, 110 the second most, 1110 the third most, etc

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