Extensional Constructs in Intensional Type Theory
Edición de la obra Extensional Constructs in Intensional Type Theory
| Autor | Martin Hofmann |
|---|---|
| Editorial | Springer London |
| Fecha de publicación | 1997 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 216 |
| Formato | [electronic resource] / |
| ISBN-13 | 9781447109631 |
| ISBN-10 | 1447109635 |
| OCLC | 840277291 |
| Serie | CPHC/BCS Distinguished Dissertations · CPHC/BCS distinguished dissertations |