Categgories for types

מידע ביבליוגרפי
מחבר ראשי: Crole, Roy L.
פורמט: Printed Book
שפה:English
יצא לאור: Cambridge Cambridge University Press 1993
נושאים:
Categorical type theory
תיאור
תאור פריט:
תיאור פיזי:xvii,335p.
ISBN:0-521-45701-7

פריטים דומים