Homotopy Type Theory
inductive-inductive type > history
Redirected from "logics".
<
inductive-inductive type
category:
redirected to nlab