Types for Proofs and Programs
International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Edición de la obra Types for Proofs and Programs
| Autor | Thorsten Altenkirch, Conor McBride |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540744641 |
| Número de Cutter | A466t |