Categories, types, and structures : an introduction to category theory for the working computer scientist

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Asperti, Andrea
Άλλοι συγγραφείς: Longo, G. (Giuseppe)
Μορφή: Βιβλίο
Γλώσσα:English
Δημοσίευση: Cambridge, Mass. : MIT Press, c1991
Σειρά:Foundations of computing
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Περιγραφή
Φυσική περιγραφή:xi, 306 p.; ill.; 24 cm
Βιβλιογραφία:Includes bibliographical references (p. [289]-299) and index
ISBN:0262011255