Take a further 20% off almost everything | Free Shipping over $89 (Limited time only, T&Cs apply)
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $89
Basic Simple Type Theory : Cambridge Tracts in Theoretical Computer Science - J. Roger Hindley

Basic Simple Type Theory

By: J. Roger Hindley

Paperback | 25 March 2008

At a Glance

Paperback

RRP $75.95

$71.75

or 4 interest-free payments of $17.94 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 LogicSoftware Engineering

Other Editions and Formats

Hardcover

Published: 29th September 1997

View Product

More in Mathematical Logic

Handbook of Automated Reasoning - Rachel Phillips

Handbook of Automated Reasoning

Hardcover

$436.75

Current Trends in Automated Reasoning - Erika Bach

Current Trends in Automated Reasoning

Hardcover

$420.99

Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng

Unequal

The Maths of When Things Do and Don't Add Up

Hardcover

RRP $39.99

$31.75

21%
OFF
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF
How to Prove It : A Structured Approach - Daniel J. Velleman

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

New Trends in Blockchain - Abhishek Danu

New Trends in Blockchain

Hardcover

RRP $273.00

$236.99

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

Introduction to Modern Cryptography

Revised Third Edition

Hardcover

RRP $252.00

$148.99

41%
OFF
Logic For Dummies : For Dummies - Mark Zegarelli

Logic For Dummies

For Dummies

Paperback

RRP $41.95

$29.99

29%
OFF
Axiomatic Set Theory : An Introduction - George Tourlakis

Axiomatic Set Theory

An Introduction

Hardcover

$93.99

This product is categorised by