Extended Abstracts Fall 2013 Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: González, Maria del Mar (Επιμελητής έκδοσης), Yang, Paul C. (Επιμελητής έκδοσης), Gambino, Nicola (Επιμελητής έκδοσης), Kock, Joachim (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Birkhäuser, 2015.
• Σειρά: Trends in Mathematics,
• Θέματα: Mathematics.; Differential geometry.; Algebraic topology.; Differential Geometry.; Algebraic Topology.

The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric Analysis" (thirteen abstracts) and at the "Conference on Type Theory, Homotopy Theory and Univalent Foundations" (seven...