Applications of categories in computer science : Proceedings of the LMS Symposium, Durham 1991 / Edited by M. P. Fourman, P. T. Johnstone, A. M. Pittis |
Pubbl/distr/stampa | Cambridge (NY) : Cambridge University Press, c1992 |
Descrizione fisica | vii, 339 p. ; 24 cm |
Disciplina | 005.131 |
Collana | London Mathematical Society lecture note series |
Soggetto non controllato |
Computer science - Congressi
Teoria della categoria - Congressi |
ISBN | 0-521-42726-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001329660403321 |
Cambridge (NY) : Cambridge University Press, c1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Category theory : Proceedings of the International Conference held in Como, Italy, July 22-28, 1990 / editors A. Carboni, M. C. Pedicchio, G. Rosolini |
Pubbl/distr/stampa | Berlin : Springer-Verlag, c1991 |
Descrizione fisica | 494 p. ; 25 cm |
Disciplina | 512.55 |
Collana | Lecture Notes in Mathematics |
Soggetto non controllato | Teoria della categoria - Congressi |
ISBN | 3-540-54706-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001323020403321 |
Berlin : Springer-Verlag, c1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|