Homotopy Type Theory

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