Modern Perspective on Type Theory
From Its Origins until Today
Edición de la obra Modern Perspective on Type Theory
| Autor | F. D. Kamareddine, T. Laan, Rob Nederpelt |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| Páginas | 360 |
| ISBN-13 | 9789048166398 |
| Número de Cutter | K15m |