Stefania Damato
About
Writings
Talks
Contact
Publications and Preprints
-
Distributive Laws of Monadic Containers [arxiv] [cubical agda html]
Chris Purdy, Stefania Damato.
To appear at CALCO 2025.
-
Formalising Inductive and Coinductive Containers [arxiv] [cubical agda source]
Stefania Damato, Thorsten Altenkirch, Axel Ljungström.
To appear at ITP 2025.
Miscellaneous
-
Investigating Quotient Inductive-Inductive Types [pdf]
First Year PhD Review Report.
Internal examiner: Prof. Graham Hutton.
July 2022.
-
Constructing Simple and Mutual Inductive Types [pdf] [agda source]
Master's thesis.
Supervisor: Prof. Thorsten Altenkirch.
September 2020.