Tromp, John Binary lambda calculus and combinatory logic. (English) Zbl 1137.68020 Calude, Cristian S. (ed.), Randomness and complexity. From Leibniz to Chaitin. Dedicated to Gregory J. Chaitin on the occasion of his 60th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-277-082-0/hbk). 237-260 (2007). Cited in 3 ReviewsCited in 5 Documents MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 03B40 Combinatory logic and lambda calculus 68N18 Functional programming and lambda calculus 68Q30 Algorithmic information theory (Kolmogorov complexity, etc.) 94A45 Prefix, length-variable, comma-free codes Keywords:binary representations; lambda calculus; combinatory logic; parser-interpreters; algorithmic information theory; program-size complexity; binary strings PDF BibTeX XML Cite \textit{J. Tromp}, in: Randomness and complexity. From Leibniz to Chaitin. Dedicated to Gregory J. Chaitin on the occasion of his 60th birthday. Hackensack, NJ: World Scientific. 237--260 (2007; Zbl 1137.68020)