Homotopy Type Theory
proof theoretic strength of univalent type theory plus HITs > history
<
proof theoretic strength of univalent type theory plus HITs
category:
redirected to nlab