Items related to Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretica...
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42) - Softcover
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.
Search results for Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretica...
Stock Image
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Band 42).
Published by
Cambridge University Press, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
Used
Taschenbuch
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XI, 186 Seiten, Englisch 340g. Seller Inventory # 493137
Quantity: 1 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
Quantity: Over 20 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 342. Seller Inventory # C9780521054225
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 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521054225
Quantity: 10 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
Quantity: Over 20 available
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
Quantity: 1 available
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: CitiRetail, Stevenage, United Kingdom
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. By concentrating on the principles that make the theory work in practice, the author covers all the key ideas without getting involved in the complications of more advanced systems. 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 that lies at the heart of every such system. Also featured are two other interesting algorithms that until now have been buried in inaccessible technical literature. The mathematical presentation is rigorous but clear, making it the first book at this level that can be used as an introduction to type theory for computer scientists. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521054225
Quantity: 1 available
Seller Image
Basic Simple Type Theory
Published by
Cambridge University Press, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
Used
Softcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5493617
Quantity: Over 20 available
Seller Image
Basic Simple Type Theory (Paperback or Softback)
Published by
Cambridge University Press 2/1/2008, 2008
ISBN 10: 0521054222
ISBN 13: 9780521054225
New
Paperback or Softback
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Paperback or Softback. Condition: New. Basic Simple Type Theory 0.66. Book. Seller Inventory # BBS-9780521054225
Quantity: 5 available
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
Quantity: Over 20 available