Binary lambda calculus

From Esolang
(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