Applications of categories in computer science / edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1992 |
Descrizione fisica | 339 p. : ill. ; 23 cm. |
Soggetto topico |
68-XX - Computer science [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] |
ISBN | 978-05-214-2726-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0056321 |
Cambridge, : Cambridge university, 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Applications of categories in computer science / edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts |
Pubbl/distr/stampa | Cambridge, : Cambridge university, 1992 |
Descrizione fisica | 339 p. : ill. ; 23 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] |
ISBN | 978-05-214-2726-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0056321 |
Cambridge, : Cambridge university, 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott |
Pubbl/distr/stampa | Berlin, : Springer, 1979 |
Descrizione fisica | xiv, 779 p. : ill. ; 24 cm |
Soggetto topico |
18B25 - Topoi [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 55N30 - Sheaf cohomology in algebraic topology [MSC 2020] 14Fxx - (Co)homology theory in algebraic geometry [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] 03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] |
Soggetto non controllato |
Algebra
Applications Calculus Finite Geometry Identity Manifolds Proofs |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0261093 |
Berlin, : Springer, 1979 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|