Categories in computer science and logic : proceedings of the AMS-IMS-SIAM joint summer research conference held June 14-20, 1987 with support from the National science foundation / John W. Gray and Andre Scedrov, editors
| Categories in computer science and logic : proceedings of the AMS-IMS-SIAM joint summer research conference held June 14-20, 1987 with support from the National science foundation / John W. Gray and Andre Scedrov, editors |
| Pubbl/distr/stampa | Providence, Rhode Island, : American mathematical society, 1989 |
| Descrizione fisica | X, 382 p. : ill. ; 26 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 18Dxx - Categorical structures [MSC 2020] |
| ISBN | 08-218-5100-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0044531 |
| Providence, Rhode Island, : American mathematical society, 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM joint summer research conference held June 14-20, 1987 with support from the National science foundation / John W. Gray and Andre Scedrov, editors
| Categories in computer science and logic : proceedings of the AMS-IMS-SIAM joint summer research conference held June 14-20, 1987 with support from the National science foundation / John W. Gray and Andre Scedrov, editors |
| Pubbl/distr/stampa | Providence, Rhode Island, : American mathematical society, 1989 |
| Descrizione fisica | X, 382 p. : ill. ; 26 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 18Dxx - Categorical structures [MSC 2020] |
| ISBN | 08-218-5100-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0044531 |
| Providence, Rhode Island, : American mathematical society, 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Categories in computer science and logic : proceedings of the AMS-IMS-SIAM joint summer research conference held June 14-20, 1987 with support from the National science foundation / John W. Gray and Andre Scedrov, editors
| Categories in computer science and logic : proceedings of the AMS-IMS-SIAM joint summer research conference held June 14-20, 1987 with support from the National science foundation / John W. Gray and Andre Scedrov, editors |
| Pubbl/distr/stampa | Providence, Rhode Island, : American mathematical society, 1989 |
| Descrizione fisica | X, 382 p. : ill. ; 26 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 18Dxx - Categorical structures [MSC 2020] 68-XX - Computer science [MSC 2020] |
| ISBN | 08-218-5100-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00044531 |
| Providence, Rhode Island, : American mathematical society, 1989 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Formal category theory : adjointness for 2-categories / John W. Gray
| Formal category theory : adjointness for 2-categories / John W. Gray |
| Autore | Gray, John W. |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, 1974 |
| Descrizione fisica | XII, 282 p. ; 25 cm. |
| Disciplina | 512.55 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Categoria (matematica) |
| ISBN | 3-540-06830-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000013424 |
Gray, John W.
|
||
| Berlin [etc.] : Springer, 1974 | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Formal category theory : adjointness for 2-categories / John W. Gray
| Formal category theory : adjointness for 2-categories / John W. Gray |
| Autore | Gray, John W. |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1974 |
| Descrizione fisica | xii, 282 p. ; 25 cm |
| Disciplina | 512.55 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 391 |
| Soggetto topico | Categories with structure |
| ISBN | 3540068309 |
| Classificazione | AMS 18D |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000901419707536 |
Gray, John W.
|
||
| Berlin ; New York : Springer-Verlag, 1974 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Formal Category Theory: Adjointness for 2-Categories / John W. Gray
| Formal Category Theory: Adjointness for 2-Categories / John W. Gray |
| Autore | Gray, John W. |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | xii, 282 p. : ill. ; 24 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
18Dxx - Categorical structures [MSC 2020] |
| Soggetto non controllato |
Category
Category Theory Forms Morphism |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256068 |
Gray, John W.
|
||
| Berlin, : Springer, 1974 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Formal Category Theory: Adjointness for 2-Categories / John W. Gray
| Formal Category Theory: Adjointness for 2-Categories / John W. Gray |
| Autore | Gray, John W. |
| Pubbl/distr/stampa | Berlin, : Springer, 1974 |
| Descrizione fisica | xii, 282 p. : ill. ; 24 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
18Dxx - Categorical structures [MSC 2020] |
| Soggetto non controllato |
Category
Category Theory Forms Morphism |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00256068 |
Gray, John W.
|
||
| Berlin, : Springer, 1974 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Formal category theory: adjointness for 2-categories [e-book] / by John W. Gray
| Formal category theory: adjointness for 2-categories [e-book] / by John W. Gray |
| Autore | Gray, John W. |
| Pubbl/distr/stampa | Berlin : Springer, 1974 |
| Descrizione fisica | 1 online resource (282 p.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 391 |
| Soggetto topico | Mathematics |
| ISBN | 9783540377689 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002175989707536 |
Gray, John W.
|
||
| Berlin : Springer, 1974 | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mastering Mathematica : programming methods and applications / John Gray
| Mastering Mathematica : programming methods and applications / John Gray |
| Autore | Gray, John W. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | San Diego ; London : Academic press, 1998 |
| Descrizione fisica | XX, 629 p. : ill. ; 24 cm + 1 CD-ROM. |
| ISBN | 01-229-6105-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0046013 |
Gray, John W.
|
||
| San Diego ; London : Academic press, 1998 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mastering Mathematica : programming methods and applications / John Gray
| Mastering Mathematica : programming methods and applications / John Gray |
| Autore | Gray, John W. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | San Diego ; London, : Academic, 1998 |
| Descrizione fisica | XX, 629 p. : ill. ; 24 cm + 1 CD-ROM |
| ISBN | 01-229-6105-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0046013 |
Gray, John W.
|
||
| San Diego ; London, : Academic, 1998 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||