02018nam0 2200445 i 450 VAN011368920230705114450.668N978331921284520180117d2015 |0itac50 baengCH|||| |||||Extended abstracts fall 2013geometrical analysisMaria del Mar González, Paul C. Yang editorstype theory, homotopy theory and univalent foundationsNicola Gambino, Joachim Kock editors[Cham]BirkhäuserSpringer2015VI, 110 p.ill.24 cm001VAN01033942001 Trends in mathematics. Research perspectives CRM Barcelona210 Basel [etc.]Birkhäuser3VAN0235013Extended abstracts fall 2013152272953AxxClassical differential geometry [MSC 2020]VANC023756MF55PxxHomotopy theory [MSC 2020]VANC024159MFCR-geometryKW:KConformal geometryKW:KHomotopy Type TheoryKW:KIsoperimetric inequalityKW:KUnivalent CategoriesKW:KYamabe problemKW:KCHChamVANL001889GambinoNicolaVANV051214GonzalezMaria del MarVANV087785KockJoachimVANV087787YangPaulVANV087786Birkhäuser <editore>VANV108193650Springer <editore>VANV108073650ITSOL20240614RICAhttp://dx.doi.org/10.1007/978-3-319-21284-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0113689BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0201 08eMF201 20180117 Extended abstracts fall 20131522729UNICAMPANIA