Categgories for types

Detalles Bibliográficos
Autor principal: Crole, Roy L.
Formato: Printed Book
Lenguaje:English
Publicado: Cambridge Cambridge University Press 1993
Materias:
Categorical type theory

UL

Detalle de Existencias desde UL
Número de Clasificación: 512.58 CRO
Copia Estatus de actividad no disponible

Ejemplares similares