Homotopy Type Theory

concepts · 1 notes linked

Related: Michael Shulman · Category Theory · Type Theory · Proof Assistants

Notes

• Michael Shulman: Papers — Michael Shulman's research index on category theory and homotopy type theory