×

zbMATH — the first resource for mathematics

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

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
PDF BibTeX XML Cite