Stefania Damato

Publications

• Formalising Inductive and Coinductive Containers [DOI] [arxiv] [cubical agda source]
  
  Stefania Damato, Thorsten Altenkirch, Axel Ljungström
  ITP 2025

• Distributive Laws of Monadic Containers [DOI] [arxiv] [cubical agda html]
  
  Chris Purdy, Stefania Damato
  CALCO 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.