Homotopy Type Theory
model invariance problem > history
<
model invariance problem
category:
redirected to nlab