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

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

by J.RogerHindley (Author)

Synopsis

An introduction to type theory for computer scientists.

$36.37

Quantity

10 in stock

More Information

Format: Paperback
Pages: 200
Edition: 1
Publisher: Cambridge University Press
Published: 21 Jan 2008

ISBN 10: 0521054222
ISBN 13: 9780521054225