Michael Shulman

entities · 1 notes linked

Related: Homotopy Type Theory · Category Theory · Type Theory · Proof Assistants

Notes

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