Constructing Infinitary Quotient-Inductive Types. - Marcelo P. Fiore; Andrew M. Pitts; S. C. Steenkamp (FoSSaCS, 2020)

Constructing Initial Algebras Using Inflationary Iteration. - Andrew M. Pitts; S. C. Steenkamp (ACT, 2021)

Quotients, inductive types, and quotient inductive types. - Marcelo P. Fiore; Andrew M. Pitts; S. C. Steenkamp (Log. Methods Comput. Sci., 2022)