Extensional Constructs in Intensional Type Theory
Edición de la obra Extensional Constructs in Intensional Type Theory
| Autor | Martin Hofmann |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2011 |
| Idioma | inglés |
| Páginas | 216 |
| ISBN-13 | 9781447112433 |
| Número de Cutter | H713e |