Derivation And Computation: Taking The Curry-Howard Correspondence Seriously

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.

• | By (Author): H. (University Of Manchester) Simmons
• | Publisher: Cambridge University Press
• | Publication Date: May 18, 2000
• | Country of Publication: United Kingdom
• | Number of Pages: 412 pages
• | Language: Unknown
• | Binding: Hardback
• | ISBN-10: 0521771730
• | ISBN-13: 9780521771733