Binary lambda calculus

From Esolang
Jump to: navigation, 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.

See also

External resources