Extended abstracts fall 2013 : geometrical analysis, type theory, homotopy theory and univalent foundations /: geometrical analysis, type theory, homotopy theory and univalent foundations. (2015)

• Record Type: Book
• Further Information: Note: Maria del Mar González, Paul C. Yang, Nicola Gambino, Joachim Kock, editors.
• Editors: Del Mar González, Maria; Yang, Paul C; Gambino, Nicola, 1975-; Kock, Joachim, 1967-
• Contents: Part I, geometrical analysis / Maria del Mar González, Paul C. Yang, editors -- Part II, type theory, homotophy theory, and univalent foundations / Nicola Gambino, Joachim Kock, editors.
• Publisher Details: Cham : Birkhäuser
• Publication Date: 2015
• Extent: 1 online resource
• Subjects: 516.35; Mathematics; Geometry, Algebraic; Type theory; Homotopy theory; Univalent functions; MATHEMATICS -- Geometry -- General; Geometry, Algebraic; Homotopy theory; Type theory; Univalent functions; Mathematics -- Topology; Algebraic topology; Global differential geometry; Algebraic topology; Mathematics -- Geometry -- Differential; Differential & Riemannian geometry; Electronic books
• Languages: English
• ISBNs: 9783319212845; 3319212842
• Related ISBNs: 9783319212838; 3319212834
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (EBSCO, viewed November 18, 2015).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.