Categgories for types

Bibliografiset tiedot
Päätekijä: Crole, Roy L.
Aineistotyyppi: Printed Book
Kieli:English
Julkaistu: Cambridge Cambridge University Press 1993
Aiheet:
Categorical type theory
Kuvaus
Huomautukset:
Ulkoasu:xvii,335p.
ISBN:0-521-45701-7

Samankaltaisia teoksia