John Tromp Binary Lambda Calculus and Combinatory Logic. 2006 Kolmogorov Complexity and Applications http://drops.dagstuhl.de/opus/volltexte/2006/628 conf/dagstuhl/2006P6051 db/conf/dagstuhl/P6051.html#Tromp06