Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Edición de la obra Types for Proofs and Programs
| Autor | Stefano Berardi, Mario Coppo, Ferruccio Damiani |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2004 |
| Idioma | inglés |
| ISBN-13 | 9783540248491 |
| Número de Cutter | B483t |