A Modern Perspective on Type Theory: From its Origins until Today

Detalles Bibliográficos
Autores principales: Kamareddine, Fairouz D, Laan, Twan, Nederpelt, Rob
Lenguaje:eng
Publicado: Springer 2004
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/1-4020-2335-9
http://cds.cern.ch/record/997084

Internet

https://dx.doi.org/10.1007/1-4020-2335-9
http://cds.cern.ch/record/997084

Ejemplares similares