Binary lambda calculus and combinatory logic (2006)

by John Tromp
Venue:In Kolmogorov Complexity and Applications