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

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Hindley, J. Roger (University of Wales, Swansea) releases

Our customers say:

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

Not rated yet

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   ·   298 g
Language English  

More from the same publisher

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