Homotopy Type Theory

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