Derivation and Computation Taking the Curry-Howard Correspondence Seriously |
|
Author:
| Simmons, H. |
Contribution by:
| Abramsky, S. Aczel, P. H. Gurevich, Y. Tucker, J. V. De Bakker, J. W. van Rijsbergen, C. J. |
Series title: | Cambridge Tracts in Theoretical Computer Science Ser. |
ISBN: | 978-0-521-77173-3 |
Publication Date: | May 2000 |
Publisher: | Cambridge University Press
|
Book Format: | Hardback |
List Price: | USD $151.00 |
Book Description:
|
Two of the fundamental notions of mathematics, proof and calculation, are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship. The book itself forms an introduction to simple type theory. 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, and develop a further understanding....
More DescriptionTwo of the fundamental notions of mathematics, proof and calculation, are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship. The book itself forms an introduction to simple type theory. 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, and develop a further understanding. An appendix contains complete solutions of these exercises.