research
∙
05/07/2021
Constructing Initial Algebras Using Inflationary Iteration
An old theorem of Adámek constructs initial algebras for sufficiently co...
share
research
∙
01/08/2021
Quotients, inductive types, and quotient inductive types
This paper introduces an expressive class of indexed quotient-inductive ...
research
∙
11/15/2019
