
Types for Proofs and Programs
- Alaotsikko
- International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
- Toimittaja
- Stefano Berardi, Mario Coppo
- ISBN
- 9783540617808
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 2.10.1996
- Sivumäärä
- 298