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