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 | ||
|
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 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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
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 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|