Advertisement

Search Results

Showing results for "Mat Homotopy Type Theory"

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

The Univalent Foundations Program
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
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 (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) 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
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)

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

Wu Wen-tsun
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