Lamda-calculus and computer science theory - Bohm C (Berlin Springer-verlag, 1975)
Keywords: Combinatory logic; Mathematical logic