Categgories for types

Xehetasun bibliografikoak
Egile nagusia: Crole, Roy L.
Formatua: Printed Book
Hizkuntza:English
Argitaratua: Cambridge Cambridge University Press 1993
Gaiak:
Categorical type theory

UL

Aleari buruzko argibideak UL
Sailkapena: 512.58 CRO
Alea Egoera zuzenean ez dago erabilgarri

Antzeko izenburuak