Cargando…
A Modern Perspective on Type Theory: From its Origins until Today
Autores principales: | , , |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
2004
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/1-4020-2335-9 http://cds.cern.ch/record/997084 |
Descripción no disponible. |