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
Omschrijving
Beschrijving item:
Fysieke beschrijving:xvii,335p.
ISBN:0-521-45701-7

Gelijkaardige items