Folgen
S. C. Steenkamp
S. C. Steenkamp
PhD student, University of Cambridge
Bestätigte E-Mail-Adresse bei cl.cam.ac.uk
Titel
Zitiert von
Zitiert von
Jahr
Quotients, inductive types, and quotient inductive types
MP Fiore, AM Pitts, SC Steenkamp
Logical Methods in Computer Science 18, 2022
13*2022
Constructing Infinitary Quotient-Inductive Types
M Fiore, A Pitts, S Steenkamp
Springer, 2020
102020
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6