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.