Homotopy Type Theory

1–30 of 955
Discussion of Homotopy Type Theory and Univalent Foundations