Extended abstracts fall 2013 : geometrical analysis / Maria del Mar González, Paul C. Yang editors ; type theory, homotopy theory and univalent foundations / Nicola Gambino, Joachim Kock editors
| Extended abstracts fall 2013 : geometrical analysis / Maria del Mar González, Paul C. Yang editors ; type theory, homotopy theory and univalent foundations / Nicola Gambino, Joachim Kock editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | VI, 110 p. : ill. ; 24 cm |
| Soggetto topico |
53Axx - Classical differential geometry [MSC 2020]
55Pxx - Homotopy theory [MSC 2020] |
| Soggetto non controllato |
CR-geometry
Conformal geometry Homotopy Type Theory Isoperimetric inequality Univalent Categories Yamabe problem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113689 |
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Extended abstracts fall 2013 : geometrical analysis / Maria del Mar González, Paul C. Yang editors ; type theory, homotopy theory and univalent foundations / Nicola Gambino, Joachim Kock editors
| Extended abstracts fall 2013 : geometrical analysis / Maria del Mar González, Paul C. Yang editors ; type theory, homotopy theory and univalent foundations / Nicola Gambino, Joachim Kock editors |
| Pubbl/distr/stampa | [Cham], : Birkhäuser, : Springer, 2015 |
| Descrizione fisica | VI, 110 p. : ill. ; 24 cm |
| Soggetto topico |
53Axx - Classical differential geometry [MSC 2020]
55Pxx - Homotopy theory [MSC 2020] |
| Soggetto non controllato |
CR-geometry
Conformal geometry Homotopy Type Theory Isoperimetric inequality Univalent Categories Yamabe problem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00113689 |
| [Cham], : Birkhäuser, : Springer, 2015 | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||