Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)

Cambridge

by J. Roger Hindley

Hardcover

ISBN: 978-0-521-46518-2

ISBN-10: 0-521-46518-4

Cambridge University Press · 1997

See also:
2008PaperbackBasic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)