Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

by J.RogerHindley (Author)

New
Hardcover
1997
$124.36

An introduction to type theory for computer scientists.

Synopsis

An introduction to type theory for computer scientists.

$124.36

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 200
Publisher: Cambridge University Press
Published: 31 Jul 1997
ISBN 10: 0521465184
ISBN 13: 9780521465182

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

New

$124.36

Synopsis

$124.36

More Information