Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=KOCK, Joachim
cover
Extended Abstracts Fall 2013 Geometrical Analysis; Type Theory, Homotopy The…
Comment Share
GONZALEZ, Maria del MarYANG, Paul C.GAMBINO, NicolaKOCK, Joachim

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 abstracts), both held at the Centre de Recerca Matemàtica (CRM) in Barcelona from July 1st to 5th, 2013, and from Se…

Edition
-
ISBN/ISSN
978-3-319-21284-5
Collation
VI, 110
Series Title
-
Call Number
-