Volgen
S. C. Steenkamp
S. C. Steenkamp
PhD student, University of Cambridge
Geverifieerd e-mailadres voor cl.cam.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–6