Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Basic Simple Type Theory : Cambridge Tracts in Theoretical Computer Science - No Information Available

Basic Simple Type Theory

By: No Information Available

Hardcover | 29 September 1997

At a Glance

Hardcover

RRP $201.95

$177.99

12%OFF

or 4 interest-free payments of $44.50 with

 or 

Ships in 5 to 7 business days

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.
Industry Reviews
"This is an excellent introduction to type theory. It doesn't bog the reader down in any of the messy details of the proofs and yet it provides many of the most interesting results in the field...Overall, it is a great book for someone who wants to get his feet wet in type theory, but doesn't want to get in over his head." Sigact News "...the book makes useful and stimulating reading and it will be an essential tool for computer scientists working in type theory and related areas." Mathematical Reviews The proofs in this book are given in great detail, and still the author succeeds in writing the book in a clear but not too technical style. It is easy and pleasurable to read this book." Journal of Symbolic Logic

You Can Find This Book In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting LanguagesComputer ScienceMathematical Theory of ComputationMathematicsMathematical FoundationMathematical Logic

Other Editions and Formats

Paperback

Published: 25th March 2008

View Product

More in Mathematical Theory of Computation

AI Engineering : Building Applications with Foundation Models - Chip Huyen

AI Engineering

Building Applications with Foundation Models

Paperback

RRP $152.00

$73.75

51%
OFF
Discrete Mathematics for Computing : Grassroots - Peter Grossman

Discrete Mathematics for Computing

Grassroots

Paperback

RRP $150.00

$117.75

21%
OFF
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz

Introduction to Modern Cryptography

Revised Third Edition

Hardcover

RRP $317.75

$308.75

AI Value Creators : Beyond the Generative AI User Mindset - Dario Gil

AI Value Creators

Beyond the Generative AI User Mindset

Paperback

RRP $152.00

$73.75

51%
OFF
Risk Measures : An Introduction to the Mathematical Theory - Ilya Molchanov

Risk Measures

An Introduction to the Mathematical Theory

Hardcover

RRP $160.95

$143.99

11%
OFF
Practical Nonconvex Nonsmooth Optimization - Frank E. Curtis

Practical Nonconvex Nonsmooth Optimization

Paperback

RRP $213.00

$201.99

This product is categorised by