Categgories for types

מידע ביבליוגרפי
מחבר ראשי: Crole, Roy L.
פורמט: Printed Book
שפה:English
יצא לאור: Cambridge Cambridge University Press 1993
נושאים:
Categorical type theory

UL

פרטי מלאי ספרים מ UL
סימן המיקום: 512.58 CRO
עותק סטטוס עדכני לא זמין

פריטים דומים