Categgories for types

Detalles Bibliográficos
Autor Principal: Crole, Roy L.
Formato: Printed Book
Idioma:English
Publicado: Cambridge Cambridge University Press 1993
Subjects:
Categorical type theory

UL

Detalle de Existencias desde UL
Número de Clasificación: 512.58 CRO
Copia Live Status Unavailable

Títulos similares