-
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.