Basic Simple Type Theory Image close
Basic Simple Type Theory by J. Roger Hindley
Basic Simple Type Theory by J. Roger Hindley
Show Hide Adult Content
Basic Simple Type Theory close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Basic Simple Type Theory

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$131.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $32.75 with Afterpay Learn more

6 weekly interest-free payments of $21.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Modal Logic by Patrick Blackburn
$280.00
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Higher Order Logic and Hardware Verification by T.F. Melham
$98.00
Higher Order Logic and Hardware Verification
by T.F. Melham ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nets, Terms and Formulas on Hardback by E-.R. Olderog
$336.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Hardback
Available - Usually ships in 3-4 weeks
Understanding Z by J.M. Spivey
$121.00
Understanding Z
by J.M. Spivey ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Design Theory and Computer Science on Hardback by Subrata Dasgupta
$474.00
Design Theory and Computer Science
by Subrata Dasgupta ~ Hardback
Available - Usually ships in 3-4 weeks
A Unifying Framework for Structured Analysis and Design Models on Hardback by T.H. Tse
$292.00
A Unifying Framework for Structured Analysis and Design Models
by T.H. Tse ~ Hardback
Available - Usually ships in 3-4 weeks
Nominal Sets on Hardback by Andrew M. Pitts
$181.00
Nominal Sets
by Andrew M. Pitts ~ Hardback
Available - Usually ships in 3-4 weeks
Extensions of First-Order Logic by Maria Manzano
$222.00
Extensions of First-Order Logic
by Maria Manzano ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types by D.A. Wolfram
$100.00
The Clausal Theory of Types
by D.A. Wolfram ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Derivation and Computation on Hardback by H. Simmons
$382.00
Derivation and Computation
by H. Simmons ~ Hardback
Available - Usually ships in 3-4 weeks
Formal Specification and Design by L.M.G. Feijs
$155.00
Formal Specification and Design
by L.M.G. Feijs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Nets, Terms and Formulas by E-.R. Olderog
$138.00
Nets, Terms and Formulas
by E-.R. Olderog ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Topology via Logic by Steven Vickers
$172.00
Topology via Logic
by Steven Vickers ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Metamathematics, Machines and Gödel's Proof by N. Shankar
$137.00
Metamathematics, Machines and Gödel's Proof
by N. Shankar ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types on Hardback by D.A. Wolfram
$197.00
The Clausal Theory of Types
by D.A. Wolfram ~ Hardback
Available - Usually ships in 3-4 weeks
Applications of Process Algebra
$269.00
Applications of Process Algebra
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
January 21st, 2008
Audience
  • Professional & Vocational
Illustrations
1 Tables, unspecified; 10 Line drawings, unspecified
Pages
200
Dimensions
151x228x11
ISBN-13
9780521054225
Product ID
2516875

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by J. Roger Hindley

See all books by this author

Basic Simple Type Theory on Hardback by J. Roger Hindley
$300.00
Basic Simple Type Theory
by J. Roger Hindley ~ Hardback
Available - Usually ships in 3-4 weeks
Lambda-Calculus and Combinators on Hardback by J. Roger Hindley
$219.00
Lambda-Calculus and Combinators
by J. Roger Hindley ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation