Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: LMS Durham Symposium University of Durham
Άλλοι συγγραφείς: Fourman, M. P., 1950- (επιμελητής.), Johnstone, P. T. (επιμελητής.), Pitts, A. M. (Andrew M.) (επιμελητής.)
Μορφή: Πρακτικό Συνεδρίου Βιβλίο
Γλώσσα:English
Έκδοση: Cambridge ; New York : Cambridge University Press, 1992.
Σειρά:London Mathematical Society lecture note series 177.
Θέματα:
Περιγραφή
Περιγραφή τεκμηρίου:"The London Mathematical Society Symposium on Applications of Categories in Computer Science took place ... at the University of Durham from 20 to 30 July 1991."--Pref.
Φυσική περιγραφή:339 σ. : εικ. ; 23 εκ.
Βιβλιογραφία:Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
ISBN:0521427266