Tallenna
Types for Proofs and Programs
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26–29, 2008 in Turin, Italy.
- Alaotsikko
- International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
- Toimittaja
- Stefano Berardi, Ferruccio Damiani, Ugo de Liguoro
- Painos
- 2009 ed.
- ISBN
- 9783642024436
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.6.2009
- Sivumäärä
- 323
