27 citations · 102 across the 13 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
math.LO2021★ 2 cited
Constructing Initial Algebras Using Inflationary Iteration
Andrew M. Pitts, S. C. Steenkamp
An old theorem of Adámek constructs initial algebras for sufficiently cocontinuous endofunctors via transfinite iteration over ordinals in classical set theory. We prove a new vers…
cs.LO2021★ 15 cited
Quotients, inductive types, and quotient inductive types
Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp
This paper introduces an expressive class of indexed quotient-inductive types, called QWI types, within the framework of constructive type theory. They are initial algebras for ind…