Stefania Damato

Publications and Preprints

• Distributive Laws of Monadic Containers [arxiv]
  
  with Chris Purdy.
  Submitted March 2025.

• 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.