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
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
– Selecta Mathematica, New Series
(2018)
24,
2791
(doi: 10.1007/s00029-017-0361-3)
A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
– Journal of the London Mathematical Society
(2016)
s2-12,
361
(doi: 10.1112/jlms/s2-12.3.361)
Andrei 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)
60,
1
(doi: 10.1112/plms/s3-60.1.1)
Classical lambda calculus in modern dress
– Mathematical Structures in Computer Science
(2015)
27,
762
(doi: 10.1017/S0960129515000377)
Turing Centenary Conference: How the World Computes.
– Ann. Pure Appl. Log.
(2014)
165,
1353
(doi: 10.1016/j.apal.2014.04.007)
Elements of a theory of algebraic theories
– Theoretical Computer Science
(2014)
546,
132
(doi: 10.1016/j.tcs.2014.03.005)
Towards a Notion of Lambda Monoid
– Electronic Notes in Theoretical Computer Science
(2014)
303,
59
(doi: 10.1016/j.entcs.2014.02.004)
Turing Centenary Conference: How the World Computes
– Annals of Pure and Applied Logic
(2014)
165,
1353
(doi: 10.1016/j.apal.2014.04.007)
- 1 of 8