Cover of: Homotopy Type Theory by

Buy this book

When you buy books using these links the Internet Archive may earn a small commission.

Last edited by sissou
June 21, 2013 | History
An edition of Homotopy Type Theory (2013)

Homotopy Type Theory

Univalent Foundations of Mathematics

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition was published in by The Univalent Foundations Program Institute for Advanced Study

Written in English

This edition doesn't have a description yet. Can you add one?

Edition Availability
Cover of: Homotopy Type Theory
Homotopy Type Theory: Univalent Foundations of Mathematics
2013, The Univalent Foundations Program Institute for Advanced Study
in English

Add another edition?

Homotopy Type Theory

First published in 2013



Homotopy Type Theory

Univalent Foundations of Mathematics

This edition was published in by The Univalent Foundations Program Institute for Advanced Study


ID Numbers

Open Library
OL25428110M

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists containing this Book

History

Download catalog record: RDF / JSON
June 21, 2013 Edited by sissou Added new cover
June 21, 2013 Created by sissou Added new book.