Categgories for types

Bibliografiska uppgifter
Huvudupphovsman: Crole, Roy L.
Materialtyp: Printed Book
Språk:English
Publicerad: Cambridge Cambridge University Press 1993
Ämnen:
Categorical type theory

UL

Beståndsuppgifter i UL
Signum: 512.58 CRO
Exemplar Status otillgänglig

Liknande verk