Isomorphisms of Types
from ? -calculus to information retrieval and language design
Edición de la obra Isomorphisms of Types
| Autor | Roberto Di Cosmo |
|---|---|
| Editorial | Birkhäuser Boston, Brand: Birkhäuser |
| Fecha de publicación | Sep 16, 2011 |
| Páginas | 248 |
| Formato | paperback |
| ISBN-13 | 9781461275855 |
| ISBN-10 | 1461275857 |
| Número de Cutter | C834i |