Derivation and Computation: Taking the Curry-Howard Correspondence Seriously - Cambridge Tracts in Theoretical Computer Science - Simmons, H. (University of Manchester) - Books - Cambridge University Press - 9780521771733 - May 18, 2000
In case cover and title do not match, the title is correct

Simmons, H. (University of Manchester)
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously - Cambridge Tracts in Theoretical Computer Science

Price
$ 178.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 5 - 10

Our customers say:

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

The is an introduction to simple type theory, exploring the relationship between proof and calculation. Each of its 52 sections ends with a set of exercises, some 200 in total. These are designed to help the reader get to grips with the subject. An appendix contains complete solutions to them.

410 pages, 23 tables 193 exercises

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 18, 2000
ISBN13 9780521771733
Publishers Cambridge University Press
Pages 412
Dimensions 236 × 161 × 25 mm   ·   668 g
Language English  

Mere med samme udgiver

See all of Simmons, H. (University of Manchester) ( e.g. Hardcover Book )