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.
I have a question about the book:
‘Derivation and Computation - Simmons, H. (University of Manchester)’.
Fill in the form below.
We will respond as fast as possible.
