Type theory and functional programming
Edición de la obra Type theory and functional programming
| Autor | Simon Thompson |
|---|---|
| Editorial | Addison-Wesley |
| Fecha de publicación | 1991 |
| Lugar | Wokingham, England, Reading, Mass |
| Idioma | inglés |
| Páginas | 372 |
| ISBN-10 | 0201416670 |
| OCLC | 182873203 |
| LCCN | 91012295 |
| Serie | International computer science series |
| Número de Cutter | T476t |