Professor of Mathematical Logic
Research Interests: Mathematical Logic: Lambda Calculus, Recursion Theory, Realizability, Proof Theory, Linear Logic. Category Theory: Topos Theory, Categorical algebra, Operads, Higher-dimensional Categories. Theoretical Computer Science: Applications of Category Theory, Domain Theory, Polymorphism, Game Semantics.
Publications
Measuring comodules and enrichment
– Journal of Pure and Applied Algebra
(2026)
230,
108211
(doi: 10.1016/j.jpaa.2026.108211)
The Kock-Mikkelsen factorisation
– Mathematical Structures in Computer Science
(2025)
35,
e39
(doi: 10.1017/s0960129525100340)
Monoidal bicategories, differential linear logic, and analytic functors
(2024)
The linear-non-linear substitution 2-monad
– Electronic Proceedings in Theoretical Computer Science
(2021)
333,
215
(doi: 10.4204/EPTCS.333.15)
The True Concurrency of Herbrand's Theorem
– 27TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2018
(2018)
119,
5:1
(doi: 10.4230/LIPIcs.CSL.2018.5)
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
– Selecta Mathematica
(2018)
24,
2791
(doi: 10.1007/s00029-017-0361-3)
Hopf measuring comonoids and enrichment
– Proceedings of the London Mathematical Society
(2017)
115,
1118
(doi: 10.1112/plms.12064)
A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
– Journal of the London Mathematical Society
(2016)
12,
361
(doi: 10.1112/jlms/s2-12.3.361)
Obituary: Andre\u\i Nikolaevich Kolmogorov (1903–1987)
– Bulletin of the London Mathematical Society
(2016)
22,
31
(doi: 10.1112/blms/22.1.31)
The Discrete Objects in the Effective Topos
– Proceedings of the London Mathematical Society
(2016)
s3-60,
1
(doi: 10.1112/plms/s3-60.1.1)
- 1 of 9