Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42) - Softcover
Book 22 of 40: Cambridge Tracts in Theoretical Computer Science
Synopsis
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 this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretica...
Stock Image
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
Used
Softcover
Seller: medimops, Berlin, Germany
Seller rating 5 out of 5 stars
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Seller Inventory # M00521054222-V
Seller Image
Basic Simple Type Theory
Published by
Cambridge University Press, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5493617-n
Stock Image
Basic Simple Type Theory (Paperback)
Published by
Cambridge University Press, Cambridge, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
New
Paperback
First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. 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. This book takes a type-assignment approach to type theory, and the system considered is the simplest polymorphic one. 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. Also featured are two other interesting algorithms that have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making the book at a level which can be used as an introduction to type theory for computer scientists. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521054225
Stock Image
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Published by
Cambridge University Press, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521054225
Seller Image
Basic Simple Type Theory
Published by
Cambridge University Press, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5493617
Stock Image
Basic Simple Type Theory
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 186 pages. 8.75x6.00x0.50 inches. In Stock. This item is printed on demand. Seller Inventory # __0521054222
Buy New
£ 38.57
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Published by
Cambridge University Press, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521054225_new
Buy New
£ 42.31
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521054225
Buy New
£ 40.43
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Basic Simple Type Theory
Published by
Cambridge University Press, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521054225
Buy New
£ 42.56
£ 14.17 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Basic Simple Type Theory
Published by
Cambridge University Press, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
New
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5493617-n
Buy New
£ 42.30
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available