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. |
Θέματα: |
Παρόμοια τεκμήρια
-
Exact categories and categories of sheaves /
ανά: Barr, Michael, 1937-
Έκδοση: (1971) -
Coherence in categories /
Έκδοση: (1972) -
Categories and functors /
ανά: Pareigis, Bodo
Έκδοση: (1970) -
Theory of categories /
ανά: Mitchell, Barry
Έκδοση: (1965) -
Formal category theory: adjointness for 2-categories /
ανά: Gray, John W. (John Walker), 1931-
Έκδοση: (1974)