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 /

Show other versions (1)

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
Other Authors: Del Mar González, Maria (Editor), Del Mar González, Maria (Editor), Gambino, Nicola, 1975- (Editor), Kock, Joachim, 1967- (Editor), Yang, Paul C. (Editor)
Format: Book
Language:English
Published: Cham : Birkhäuser, 2015
Cham : Birkhäuser, 2015
Series:Trends in mathematics Research perspectives CRM Barcelona.
Subjects:
Geometry, Algebraic
Homotopy theory
Type theory
Univalent functions
Algebraic topology
Differential & Riemannian geometry
MATHEMATICS / Geometry / General
MATHEMATICS > Geometry > General
Electronic books

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE

Similar Items