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