Types for Proofs and Programs
Second International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers
Edición de la obra Types for Proofs and Programs
| Autor | Herman Geuvers, Freek Wiedijk |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540391852 |
| Número de Cutter | G395t |