Follow
S. C. Steenkamp
S. C. Steenkamp
PhD student, University of Cambridge
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
MP Fiore, AM Pitts, SC Steenkamp
Logical Methods in Computer Science 18, 2022
92022
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