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...
Other Authors: | , , , , |
---|---|
Format: | Book |
Language: | English |
Published: |
Cham :
Birkhäuser,
2015
Cham : Birkhäuser, 2015 |
Series: | Trends in mathematics Research perspectives CRM Barcelona.
|
Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Stanford University
Call Number: |
INTERNET RESOURCE |
---|