Categgories for types

Dades bibliogràfiques
Autor principal: Crole, Roy L.
Format: Printed Book
Idioma:English
Publicat: Cambridge Cambridge University Press 1993
Matèries:
Categorical type theory

UL

Detall dels fons de UL
Signatura: 512.58 CRO
Còpia Comprovació en temps real no disponible

Ítems similars