Home Book reviews
Author field first Title field first Classic page
Used Book Memo Saved Search New Book Memo
Blank new search Keep last search terms Advanced blank new page Advanced/classic keep search terms Classic blank new search
Contact
☰

DISCLOSURE: When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.

Please share to

9 titles, showing 1-9 sort by PRICE ASC.
Please follow us on AddALL Facebook page twitter page
TITLE

SORT

change title size:
AUTHOR

SORT

change author size:
PRICE

DEALER / SITE

SORT

DESCRIPTION

 

change description size:
1. Basic Simple Type Theory Buy it!

Save Show this book only

title size:
Hindley J. Roger
author size:
USD
33.20
price size:
ThriftBooks /Biblio
dealer size:
Cambridge University Press, Date: 2008. Paperback. Very Good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed. 2008. Cambridge University Press ISBN 0521054222 9780521054225 [US]
description size:
2. Basic Simple Type Theory Cambridge Tracts in Theoretical Computer Science Buy it!

Save Show this book only

J. Roger Hindley
author size:
USD
41.50
price size:
Ergodebooks /Biblio
dealer size:
Cambridge University Press, Date: 2008-01-21. Paperback. Good. 2008. Cambridge University Press ISBN 0521054222 9780521054225 [US]
description size:
3. Basic Simple Type Theory Buy it!

Save Show this book only

J. Roger Hindley
author size:
USD
46.85
price size:
Ria Christie Collections /Biblio
dealer size:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Basic Simple Type Theory. ISBN 0521054222 9780521054225 [GB]
description size:
4. Basic Simple Type Theory Buy it!

Save Show this book only

J. Roger Hindley
author size:
USD
62.52
price size:
Cold Books /Biblio
dealer size:
Cambridge University Press CUP , pp. 200 . Papeback. New. Cambridge University Press CUP ISBN 0521054222 9780521054225 [US]
description size:
5. Basic Simple Type Theory Buy it!

Save Show this book only

J. Roger Hindley
author size:
USD
63.68
price size:
Books Puddle /Abebooks
dealer size:
ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press CUP] Softcover pp. 200
[New York, NY, U.S.A.] [Publication Year: 2008]
description size:
6. Basic Simple Type Theory Buy it!

Save Show this book only

J. Roger Hindley
author size:
USD
67.95
price size:
AHA-BUCH GmbH /ZVAB
dealer size:
ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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.
[Einbeck, Germany] [Publication Year: 2008]
Show/Hide image
description size:
7. Basic Simple Type Theory Buy it!

Save Show this book only

J. Roger Hindley
author size:
USD
68.19
price size:
The Saint Bookstore /Biblio
dealer size:
Paperback / softback. New. This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice. ISBN 0521054222 9780521054225 [GB]
description size:
8. Basic Simple Type Theory Buy it!

Save Show this book only

J. Roger Hindley
author size:
USD
75.54
price size:
AHA-BUCH GmbH /AbebooksDE
dealer size:
ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover Druck auf Anfrage Neuware - Printed after ordering - 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.
[Einbeck, Germany] [Publication Year: 2008]
Show/Hide image
description size:
9. Basic Simple Type Theory Buy it!

Save Show this book only

J. Roger Hindley
author size:
USD
98.94
price size:
Collectors' Bookstore /Abebooks
dealer size:
ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: Cambridge University Press] Softcover First Edition First Edition thus, as good as new. Basic Simple Type Theory by J. Roger Hindley. Published by Cambridge University Press in 2008. Paperback ISBN:9780521054225. Collectible item in excellent condition.
[Antwerpen, Belgium] [Publication Year: 2008]
Show/Hide image
description size:
Similar titles
2. Basic simple type theory - J. Roger Hindley Buy it!

Save Show this book only

J. Roger Hindley
author size:
USD
44.35
price size:
Book Hémisphères /AbebooksFR
dealer size:
ISBN10: 0521054222, ISBN13: 9780521054225, [publisher: 2008] Softcover Occasion - Bon Etat - Basic simple type theory (2008) - Grand Format
[Kervignac, France] [Publication Year: 2008]
Show/Hide image
description size:

DISCLOSURE: When you use one of our links to make a purchase, we may earn a commission at no extra cost to you.
As an Amazon Associate, AddALL earn commission from qualifying Amazon purchases.

TOO Many Search Results? Refine it!
Exclude: (what you don't want)
Include: (what you want)
Search Results Sort By:
[Privacy policy | Random quotes | Link to us | About us ]
Copyright © 1998-, Addall.com Pte Ltd. All rights reserved.
240514070102875597