Homotopy Type Theory
inductive-recursive type > history
<
inductive-recursive type
category:
redirected to nlab