关注
S. C. Steenkamp
S. C. Steenkamp
PhD student, University of Cambridge
在 cl.cam.ac.uk 的电子邮件经过验证
标题
引用次数
引用次数
年份
Quotients, inductive types, and quotient inductive types
MP Fiore, AM Pitts, SC Steenkamp
Logical Methods in Computer Science 18, 2022
14*2022
Constructing Infinitary Quotient-Inductive Types
M Fiore, A Pitts, S Steenkamp
Springer, 2020
92020
Constructing Initial Algebras Using Inflationary Iteration
AM Pitts, SC Steenkamp
arXiv preprint arXiv:2105.03252, 2021
22021
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
系统目前无法执行此操作，请稍后再试。
文章 1–6