Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-En-Josas, France, December 15-18, 2004, Revised Selected Papers
Edición de la obra Types for Proofs and Programs
| Autor | Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2006 |
| Idioma | inglés |
| Páginas | 280 |
| ISBN-13 | 9783540314295 |
| Número de Cutter | F486t |