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

Other

• Containers, Cubes, and Coherences: Containers in Homotopy Type Theory [pdf]
  
  PhD thesis.
  Supervisor: Prof. Thorsten Altenkirch.
  May 2026.
• 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.