Stefania Damato
About
Writings
Talks
Contact
-
A Container Model of Type Theory at
YaMCATS 32.
Cambridge, UK, 14 September 2023.
-
Revisiting Containers (in Cubical Agda) at
TYPES 2023.
Valencia, Spain, 12 June 2023.
Based on the abstract available here.
-
Specifying QIITs using Containers at
HoTT 2023.
Pittsburgh, Pennsylvania, 24 May 2023.
And Specifying QIITs using Containers at
Workshop on HoTT/UF 2023.
Vienna, Austria, 23 April 2023.
Based on the abstract available here.
- Constructing Simple and Mutual Inductive Types at
the Research Spotlight Competition, 14th London Hopper Colloquium.
Online, 28 October 2020.
The talk was pre-recorded and is available here.
- Constructing Simple and Mutual Inductive Types in Agda at
Agda Implementors' Meeting XXXIII.
Online, 19 October 2020.