Counting Is HardCounting Is HardWeihrauch Problems as Containers
July 17 2025, Faculdade de Ciências da Universidade de Lisboa, CiE 2025
Weihrauch Problems as Containers (Video)
June 13 2025, University of Strathcylde, TYPES 2025
Weihrauch Problems as Containers
May 1 2025, Swansea University, CS Theory Seminar
Weihrauch Problems as Containers (Lightning Talk)
April 10 2025, University of Sheffield, Midlands Graduate School 2025
What are Categories? Sheaves? (Impromptu Talk with other Attendees)
September 20 2024, Fischbachau, Proof and Computation 24
Weihrauch Reducibility as a Lens (Lightning Talk)
September 19 2024, Fischbachau, Proof and Computation 24
Implicit automata in λ-calculi III: affine planar string-to-string functions (Video)
June 20 2024, University of Oxford, Mathematical Foundations of Programming Semantics
Implicit automata in λ-calculi III: affine planar string-to-string functions
June 10 2024, Swansea University, CS Theory Seminar
Two-Way Reversible Transducers as Functors
April 4 2024, University of Bath, British Colloquium for Theoretical Computer Science
November 22 2023, Swansea University, Advanced Topics in Logic Seminar