Adapting Proofs-as-Programs
- Alaotsikko
- The Curry--Howard Protocol
- Kirjailija
- Iman Poernomo, Crossley John N., Wirsing Martin
- Painos
- 2005
- ISBN
- 9780387237596
- Kieli
- englanti
- Paino
- 518 grammaa
- Julkaisupäivä
- 21.6.2005
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 420








































