Derivation and computation: taking the curry-howard correspondence seriously
Auteur :
Simmons, H.
Éditeur :
Cambridge University Press
ISBN :
9780521771733
Date de publication :
18 mai 2000
Dimensions :
23,6 x 15,8 x 2,6 cm
Poids :
770 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.