Non-Cartesian Guarded Recursion with Daggers.
Category Theory seminar, University of Edinburgh. 27 November 2024. (blackboard talk)
Semantics of Quantum Loops and Recursion.
Phiqus seminar, LIX, École polytechnique. 31 October 2024.
Slides.
QSL seminar,
School of Informatics, University of Edinburgh. 17 October 2024.
Slides.
A Recipe for the Semantics of Reversible Programming.
PARTOUT seminar,
LIX, École polytechnique. 12 November 2024.
Slides.
LoVe seminar,
LIPN, Université Sorbonne Paris-Nord. 7 November 2024.
Slides.
PPS/semantics seminar,
IRIF, Université Paris-Cité. 5 November 2024.
Slides.
LSC seminar,
LIS, Aix-Marseille Université. 3 October 2024.
Slides.
Semantics for a Turing-complete Reversible Programming Language with Inductive Types.
FSCD'24, Tallinn 🇪🇪.
12 July 2024.
Slides.
The Syntax and Semantics of Simply-typed Quantum Control.
MOCQUA seminar,
LORIA, Université de Lorraine. 30 May 2024.
Slides.
Semantics of Recursion in Quantum Control.
GT Scalp 2023,
Orléans.
29 November 2023.
Slides.
GT IQ 2023,
CIRM, Marseille.
21 September 2023.
Slides.
Central Submonads and Notions of Computation.
LICS'23, Boston, MA. 29 June 2023.
Slides.
Algebraic rewriting seminar,
Online.
27 April 2023.
SYCO 10,
Edinburgh 🏴.
20 December 2022.
Slides.
GT LHC 2022, Moulon.
12 October 2022.
ACT'22, Glasgow 🏴. 20 July 2022.
Cosinus seminar,
LIX, École polytechnique. 7 June 2022.
Categorical Semantics of Reversible Pattern-Matching.
GT Scalp 2021,
Fontainebleau.
4 November 2021.
Slides.
MFPS'21, Online/Salzburg 🇦🇹. 1 September 2021.
Slides.
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus.
QPL'20, Online/Paris 🥐. 6 June 2020.
Slides.