LEADER 01593nam0 2200361 i 450 001 SUN0113689 005 20180125103908.487 010 $d0.00 017 70$2N$a978-3-319-21284-5 100 $a20180117d2015 |0engc50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $a*Extended abstracts fall 2013$egeometrical analysis$fMaria del Mar González, Paul C. Yang editors$gtype theory, homotopy theory and univalent foundations$fNicola Gambino, Joachim Kock editors 205 $a[Cham] : Birkhäuser : Springer, 2015 210 $aVI$d110 p.$cill. ; 24 cm 215 $aPubblicazione in formato elettronico 410 1$1001SUN0103394$12001 $a*Trends in mathematics. Research perspectives CRM Barcelona$v3$1210 $aBasel$cBirkhäuser$d2014-. 606 $a53Axx$xClassical differential geometry [MSC 2020]$2MF$3SUNC023756 606 $a55Pxx$xHomotopy theory [MSC 2020]$2MF$3SUNC024159 620 $aCH$dCham$3SUNL001889 702 1$aGambino$b, Nicola$3SUNV051214 702 1$aGonzalez$b, Maria del Mar$3SUNV087785 702 1$aYang$b, Paul$3SUNV087786 702 1$aKock$b, Joachim$3SUNV087787 712 $aSpringer$3SUNV000178$4650 712 $aBirkhäuser$3SUNV000319$4650 801 $aIT$bSOL$c20210503$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-21284-5 912 $aSUN0113689 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 0201 $e08eMF201 20180117 996 $aExtended abstracts fall 2013$91522729 997 $aUNICAMPANIA