Categgories for types

Dettagli Bibliografici
Autore principale: Crole, Roy L.
Natura: Printed Book
Lingua:English
Pubblicazione: Cambridge Cambridge University Press 1993
Soggetti:
Categorical type theory

UL

Dettagli sul posseduto da UL
Collocazione: 512.58 CRO
Copia Status in tempo reale non disponibile

Documenti analoghi