Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42). This item is unavailable.
14 ratings by Goodreads
Language: English
Published by Cambridge University Press, 1997
Series: Book 22 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- New
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
5-star seller
AbeBooks seller since March 25, 2015
Unavailable
Hardcover
Condition: New
£ 124.77
Item description from seller
In English.
Seller Inventory # ria9780521465182_new
- Title
- Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
- Author
- Hindley, J. Roger
- Publisher
- Cambridge University Press
- Publication year
- 1997
- Condition
- New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0521465184
- ISBN 13
- 9780521465182
- Item weight
- 572 grams
- Series
- Book 22 of 40: Cambridge Tracts in Theoretical Computer Science
An introduction to type theory for computer scientists.
"Synopsis" may belong to another edition of this title.
From the Back Cover
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail.The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists.
"About the title" may belong to another edition of this title.
Search results for Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
There are 3 more copies of this bookView all results