型理論

ホモトピー型理論(Homotopy Type Theory)

ホモトピー型理論, 理論, 型理論, 数学