Inductive-recursive types

https://ncatlab.org/homotopytypetheory/show/inductive-recursive+type

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.