Extensional Constructs in Intensional Type Theory
Edición de la obra Extensional Constructs in Intensional Type Theory
| Autor | Martin Hofmann |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Oct 09, 2011 |
| Páginas | 232 |
| Formato | paperback |
| ISBN-13 | 9781447109648 |
| ISBN-10 | 1447109643 |
| Número de Cutter | H713e |