Types for Proofs and Programs
International Workshop, TYPES'99, lökeberg, Sweden, June 12-16, 1999, Selected Papers
Edición de la obra Types for Proofs and Programs
| Autor | Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540445579 |
| Número de Cutter | C786t |