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

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.