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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 | ||
|