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

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: González, Maria del Mar (Editor), Yang, Paul C. (Editor), Gambino, Nicola (Editor), Kock, Joachim (Editor)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Birkhäuser, 2015.
Series:Trends in mathematics.
Subjects:
Mathematics.
Geometry, Differential.
Algebraic topology.
Online Access:Full text (Wentworth users only)
Full text (Wentworth users only)

Wentworth

Holdings details from Wentworth
Call Number: Springer

Similar Items