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
Íkr 22,339
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 4 - 11
Get notified about new Simmons, H. (University of Manchester) 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

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  

More from the same publisher

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