Big Books of 2026

Homotopy Type Theory > Editions

by The Univalent Foundations Program First published 2013

Sort by
Format
Language
Editions
Showing 1-2 of 2
Homotopy Type Theory
Homotopy Type Theory (ebook)
Published 2013 by The Univalent Foundations Program Institute for Advanced Study
ebook, 618 pages
Author(s):
ASIN:
B0DLT86CQT
Edition language:
English
Average rating:
4.50 (52 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Homotopy Type Theory
Homotopy Type Theory (Paperback)
Published 2013
Paperback, 583 pages
Author(s):
ASIN:
B0DTS77RKK
Edition language:
English
Average rating:
5.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page