Categgories for types

Bibliographische Detailangaben
1. Verfasser: Crole, Roy L.
Format: Printed Book
Sprache:English
Veröffentlicht: Cambridge Cambridge University Press 1993
Schlagworte:
Categorical type theory

UL

Bestandesangaben von UL
Signatur: 512.58 CRO
Exemplar Live-Status nicht verfügbar

Ähnliche Einträge