Stefania Damato
About
Writings
Talks
Contact
Publications and Preprints
-
Formalising Inductive and Coinductive Containers [arxiv]
With Thorsten Altenkirch and Axel Ljungström.
Submitted July 2024.
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.