Search - List of Books by J. Roger Hindley

Total Books: 3
Lambda-Calculus and Combinators An Introduction
Basic Simple Type Theory
2008 - Basic Simple Type Theory [Cambridge Tracts in Theoretical Computer Science] (Paperback)Hardcover
ISBN-13: 9780521054225
ISBN-10: 0521054222
Genre: Computers & Technology
  ?

Basic Simple Type Theory
1997 - Basic Simple Type Theory [Cambridge Tracts in Theoretical Computer Science] (Hardcover)Paperback
ISBN-13: 9780521465182
ISBN-10: 0521465184
Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores
  ?