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

UL

Saatavuus: UL
Hyllypaikka: 512.58 CRO
Nide Reaaliaikaista tietoa ei saatavissa

Samankaltaisia teoksia