Basic Simple Type Theory - Cambridge Tracts in Theoretical Computer Science - Hindley, J. Roger (University of Wales, Swansea) - Books - Cambridge University Press - 9780521054225 - January 21, 2008
In case cover and title do not match, the title is correct

Hindley, J. Roger (University of Wales, Swansea)
Basic Simple Type Theory - Cambridge Tracts in Theoretical Computer Science

Price
$ 67.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 3 - 9

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

200 pages, 10 b/w illus. 1 table

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 21, 2008
ISBN13 9780521054225
Publishers Cambridge University Press
Pages 200
Dimensions 154 × 227 × 13 mm   ·   310 g
Language English  

Mere med samme udgiver

See all of Hindley, J. Roger (University of Wales, Swansea) ( e.g. Hardcover Book and Paperback Book )