by J. Roger Hindley
Basic Simple Type Theory
1997
Combinatory Logic
by Haskell Brooks Curry
1972
Introduction to Combinatory Logic
by Haskell B. Curry, William Craig, Robert Feys
1974
This title is available via our affiliate partner Amazon.de. Prices and availability are set by the retailer.