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

by J.RogerHindley (Author)

New
Paperback
2008
$36.71

An introduction to type theory for computer scientists.

Synopsis

An introduction to type theory for computer scientists.

$36.71

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

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

New

$36.71

Synopsis

$36.71

More Information