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 | ||
| ||
Applications of categories in computer science / edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts
| 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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Applications of categories in computer science / edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts
| 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 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Applications of categories in computer science / edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts
| 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 |
18-XX - Category theory; homological algebra [MSC 2020]
68-XX - Computer science [MSC 2020] |
| ISBN | 978-05-214-2726-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00056321 |
| Cambridge, : Cambridge university, 1992 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Indexed categories and their applications [e-book] / by Peter T. Johnstone ... [et al.]
| Indexed categories and their applications [e-book] / by Peter T. Johnstone ... [et al.] |
| Autore | Johnstone, Peter T. |
| Pubbl/distr/stampa | Berlin : Springer, 1978 |
| Descrizione fisica | 1 online resource (x, 266 p.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 661 |
| Soggetto topico | Mathematics |
| ISBN | 9783540357629 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002149809707536 |
Johnstone, Peter T.
|
||
| Berlin : Springer, 1978 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Indexed categories and their applications / P. T. Johnstone ... [et al.] ; edited by P. T. Johnstone and R. Paré
| Indexed categories and their applications / P. T. Johnstone ... [et al.] ; edited by P. T. Johnstone and R. Paré |
| Autore | Johnstone, Peter T. |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1978 |
| Descrizione fisica | iv, 260 p. ; 25 cm |
| Disciplina | 512.55 |
| Altri autori (Persone) | Paré, Robert |
| Collana | Lecture notes in mathematics, 0075-8434 ; 661 |
| Soggetto topico |
Algebra-addresses, essays, lectures
Categories - Addresses, essays, lectures Category theory Toposes |
| ISBN | 3540089144 |
| Classificazione |
AMS 18-02
AMS 18-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000992929707536 |
Johnstone, Peter T.
|
||
| Berlin : Springer-Verlag, 1978 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Indexed Categories and Their Applications / Peter T. Johnstone ... [et al.]
| Indexed Categories and Their Applications / Peter T. Johnstone ... [et al.] |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | x, 266 p. ; 24 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Algebra
Applications Categories Category Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260823 |
| Berlin, : Springer, 1978 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Indexed Categories and Their Applications / Peter T. Johnstone ... [et al.]
| Indexed Categories and Their Applications / Peter T. Johnstone ... [et al.] |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | x, 266 p. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] |
| Soggetto non controllato |
Algebra
Applications Categories Category Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00260823 |
| Berlin, : Springer, 1978 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Notes on logic and set theory / P. T. Johnstone
| Notes on logic and set theory / P. T. Johnstone |
| Autore | Johnstone, Peter T. |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1987 |
| Descrizione fisica | X, 110 p. ; 21 cm. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
| ISBN |
05-213-3692-9
978-05-213-3692-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0055423 |
Johnstone, Peter T.
|
||
| Cambridge, : Cambridge university, 1987 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Notes on logic and set theory / P. T. Johnstone
| Notes on logic and set theory / P. T. Johnstone |
| Autore | Johnstone, Peter T. |
| Pubbl/distr/stampa | Cambridge, : Cambridge university, 1987 |
| Descrizione fisica | X, 110 p. ; 21 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
| ISBN |
05-213-3692-9
978-05-213-3692-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055423 |
Johnstone, Peter T.
|
||
| Cambridge, : Cambridge university, 1987 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||