| Título: | Basic simple type theory |
| Autores: | HINDLEY, J. ROGER |
| Tipo de documento: | texto impreso |
| Editorial: | Cambridge [U.S.A.] : Cambridge University Press, 1997 |
| Colección: | Cambridge tracts in theoretical computer science, num. 42 |
| ISBN/ISSN/DL: | 21668 |
| Dimensiones: | 186 p. |
| Nota general: | - ISBN: 0 521 46518 4 |
| Langues: | Español |
| Clasificación: |
