Stefania Damato
About
Writings
Talks
Contact
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.