ISBN: | 978-5-5083-2571-8 |
High Quality Content by WIKIPEDIA articles! Binary lambda calculus (BLC) is a technique for using the lambda calculus to study Kolmogorov complexity, by working with a standard binary encoding of lambda terms, and a designated universal machine. Binary lambda calculus is a new idea introduced by John Tromp in 2008.