S. C. Steenkamp

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Inductive Learning

Top Venues

Log. Methods Comput. Sci.

Publications

Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp
Quotients, inductive types, and quotient inductive types. Log. Methods Comput. Sci. 18 (2) (2022)
Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp
Quotients, inductive types, and quotient inductive types. CoRR (2021)
Andrew M. Pitts, S. C. Steenkamp
Constructing Initial Algebras Using Inflationary Iteration. CoRR (2021)
Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp
Constructing Infinitary Quotient-Inductive Types. FoSSaCS (2020)
Marcelo Fiore, Andrew M. Pitts, S. C. Steenkamp
Constructing Infinitary Quotient-Inductive Types. CoRR (2019)