Applications of categories in computer science : Proceedings of the LMS Symposium, Durham 1991 / Edited by M. P. Fourman, P. T. Johnstone, A. M. Pittis
| 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 | ||
| 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
| 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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||