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

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

Bibliographic Details
Published in:Springer eBooks
Corporate Author: SpringerLink (Online service)
Other Authors: González, Maria del Mar (Editor), Yang, Paul C. (Editor), Gambino, Nicola (Editor), Kock, Joachim (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Birkhäuser, 2015.
Series:Trends in Mathematics,
Subjects:
mathematics.
Differential Geometry.
Algebraic topology.
Mathematics.
Algebraic Topology.
Online Access:http://dx.doi.org/10.1007/978-3-319-21284-5
Перейти в каталог НБ ТГУ

Internet

http://dx.doi.org/10.1007/978-3-319-21284-5
Перейти в каталог НБ ТГУ

Similar Items