Types for Proofs and Programs
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Edición de la obra Types for Proofs and Programs
| Autor | Paul Callaghan, Zhaohui Luo, James McKinna |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 258 |
| Formato | paperback |
| ISBN-13 | 9783662194775 |
| ISBN-10 | 3662194775 |
| Número de Cutter | C156t |