Follow
S. C. Steenkamp
S. C. Steenkamp
Verified email at cl.cam.ac.uk
Title
Cited by
Cited by
Year
Constructing Infinitary Quotient-Inductive Types
M Fiore, A Pitts, S Steenkamp
Springer, 2020
102020
Quotients, inductive types, and quotient inductive types
SC Steenkamp, AM Pitts, MP Fiore
Logical Methods in Computer Science 18, 2022
6*2022
Constructing Initial Algebras Using Inflationary Iteration
AM Pitts, SC Steenkamp
arXiv preprint arXiv:2105.03252, 2021
12021
Code supporting" Constructing Initial Algebras Using Inflationary Iteration"
A Pitts, S Steenkamp
2021
Agda code supporting" Quotients, Inductive Types and Quotient Inductive Types"
A Pitts, S Steenkamp, M Fiore
2021
Code supporting" Constructing Infinitary Quotient-Inductive Types"
M Fiore, A Pitts, S Steenkamp
2020
The system can't perform the operation now. Try again later.
Articles 1–6