2DFTs as a Functor

November 22 2023, Swansea University, Advanced Topics in Logic Seminar

Two-Way Reversible Transducers as Functors

April 4 2024, University of Bath, British Colloquium for Theoretical Computer Science