Binary lambda calculus ist eine esoterische Programmiersprache. Sie wurde aus der Perspektive der algorithmischen Informationstheorie entwickelt, um mit minimalen Mitteln einen möglichst dichten Code zu ermöglichen.
Er umfasst einen 29-Byte-Selbstinterpreter, ein 21-Byte-Primzahlensieb und einen 112-Byte-Brainfuck-Interpreter.