01593nam0 2200361 i 450 SUN011368920180125103908.4870.00N978-3-319-21284-520180117d2015 |0engc50 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äuser : Springer, 2015VI110 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN01033942001 *Trends in mathematics. Research perspectives CRM Barcelona3210 BaselBirkhäuser2014-.53AxxClassical differential geometry [MSC 2020]MFSUNC02375655PxxHomotopy theory [MSC 2020]MFSUNC024159CHChamSUNL001889Gambino, NicolaSUNV051214Gonzalez, Maria del MarSUNV087785Yang, PaulSUNV087786Kock, JoachimSUNV087787SpringerSUNV000178650BirkhäuserSUNV000319650ITSOL20210503RICAhttp://dx.doi.org/10.1007/978-3-319-21284-5SUN0113689UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 0201 08eMF201 20180117 Extended abstracts fall 20131522729UNICAMPANIA