Advertisement

Search Results

Showing results for "Homotopy Type Theory"

Homotopy Type Theory

Homotopy Type Theory

The Univalent Foundations Program
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

David Corfield
Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)

Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)

Egbert Rijke
Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

The Univalent Foundations Program
Homotopy Type Theory (paperback)

Homotopy Type Theory (paperback)

Univalent Foundations Project
Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics)

Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics)

Egbert Rijke
Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure (Lecture Notes in Mathematics, 1264)

Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure (Lecture Notes in Mathematics, 1264)

Wen-tsün Wu
Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure

Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure

Wen-Tsun Wu
Notes on Lecture Notes: Logic, Category Theory, Topos Theory, Martin-Löf Type Theory, Homotopy Theory

Notes on Lecture Notes: Logic, Category Theory, Topos Theory, Martin-Löf Type Theory, Homotopy Theory

Eric Schmid
Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure (Lecture Notes in Mathematics Book 1264)

Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure (Lecture Notes in Mathematics Book 1264)

Wen-tsün Wu
Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure (Lecture Notes in Mathematics)

Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure (Lecture Notes in Mathematics)

Wu Wen-tsun
Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure (Lecture Notes in Mathematics) by Wen-ts????n Wu (2008-10-10)

Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure (Lecture Notes in Mathematics) by Wen-ts????n Wu (2008-10-10)

Unknown Author
Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations (Trends in Mathematics)

Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations (Trends in Mathematics)

Maria Del Mar Gonzalez
On PL De Rham Theory and Rational Homotopy Type

On PL De Rham Theory and Rational Homotopy Type

Aldridge Knight Bousfield