Extended abstracts fall 2013 geometrical analysis, type theory, homotopy theory and univalent foundations /

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...

Full description

Other Authors: Del Mar González, Maria,, Yang, Paul C.,, Gambino, Nicola, 1975-, Kock, Joachim, 1967-, SpringerLink (Online service)
Format: eBook
Language: English
Published: Cham : Birkhäuser, 2015.
Physical Description: 1 online resource.
Series: Trends in mathematics. Research perspectives CRM Barcelona.
Subjects:

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available