Alta reperibilità
Derivation and Computation
Taking The Curry-howard Correspondence Seriously
- Editore:
Cambridge University Press
- EAN:
9780521771733
- ISBN:
0521771730
- Pagine:
- 412
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con
o la
Descrizione Derivation and Computation
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti