Categgories for types

Bibliografische gegevens
Hoofdauteur: Crole, Roy L.
Formaat: Printed Book
Taal:English
Gepubliceerd in: Cambridge Cambridge University Press 1993
Onderwerpen:
Categorical type theory

UL

Exemplaargegevens van UL
Plaatsingsnummer: 512.58 CRO
Kopie Status is onbeschikbaar

Gelijkaardige items