Homotopy Type Theory
Categorical Homotopy Type Theory > history
<
André Joyal
category:
redirected to nlab