Stefania Damato
About
Writings
Talks
Contact
2025
-
Distributive Laws of Monadic Containers
at WG6 Meeting [slides] [abstract]
Genoa, Italy, 17 April 2025.
-
Formalising coinductive containers is hard!
Invited talk at CS Theory Seminar (TSEM), Logic and Semantics Research Group,
Tallinn University of Technology [slides] [abstract]
Online, 13 March 2025.
2024
-
Coherences for the Container Model of Type Theory
at Workshop on HoTT/UF 2024
[slides] [abstract]
Leuven, Belgium, 3 April 2024.
2023
-
A Container Model of Type Theory
Invited talk at YaMCATS 32 [slides]
Cambridge, UK, 14 September 2023.
-
Revisiting Containers (in Cubical Agda)
at TYPES 2023 [slides] [abstract]
Valencia, Spain, 12 June 2023.
-
Specifying QIITs using Containers
at HoTT 2023 [slides] [abstract]
Pittsburgh, Pennsylvania, USA, 24 May 2023.
-
Specifying QIITs using Containers
at Workshop on HoTT/UF 2023 [slides] [abstract]
Vienna, Austria, 23 April 2023.
2020
-
Constructing Simple and Mutual Inductive Types
at the Research Spotlight Competition, 14th London Hopper Colloquium [slides]
[pre-recording]
Online, 28 October 2020.
-
Constructing Simple and Mutual Inductive Types in Agda
at Agda Implementors' Meeting XXXIII [slides] [agda source]
Online, 19 October 2020.