Most Popular Books
- Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
- Introduction to Combinators and (lamda) Calculus (London Mathematical Society Student Texts)
- Lambda-Calculus and Combinators: An Introduction
- Introduction to Combinatory Logic (London Mathematical Society Lecture Note Series)
Series By J. Roger Hindley
