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
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!