Homotopy Type Theory
higher observational type theory > history
<
higher observational type theory
category:
redirected to nlab