Talks and presentations

A Synthetic Reconstruction of Multiparty Session Types
PLAS Group Talk @ University of Kent
19 January 2026
[slides] [LaTeX source]

Towards A Synthetic Formulation of Multiparty Session Types
PLAS Group Talk @ University of Kent
10 December 2024
[slides] [LaTeX source]

Mechanising Recursion Schemes with Magic-Free Coq Extraction
Online Seminar @ Tallinn University
2 May 2024
[slides] [LaTeX source]

Mechanising Recursion Schemes with Magic-Free Coq Extraction
PLAS Seminar @ University of Kent
8 April 2024
[slides]