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

Cambridge

by J. Roger Hindley

Paperback

ISBN: 978-0-521-05422-5

ISBN-10: 0-521-05422-2

Cambridge University Press · 2008

See also:
1997HardcoverBasic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)