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

by J.RogerHindley (Author)

New
Hardcover
1997
$125.61

An introduction to type theory for computer scientists.

Synopsis

An introduction to type theory for computer scientists.

$125.61

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

$125.61

Synopsis

$125.61

More Information