Binary lambda calculus and combinatory logic (2006)

by John Tromp
Venue:Kolmogorov Complexity and Applications, volume 06051 of Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl