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
Computability in Europe 2010
– Annals of Pure and Applied Logic
(2012)
163,
621
(doi: 10.1016/j.apal.2011.10.005)
Computability in Europe 2010
– Annals of Pure and Applied Logic
(2012)
163,
621
(doi: 10.1016/j.apal.2011.10.005)
Foreword [Special issue: Dedicated to the memory of Professor Gregory Maxwell Kelly]
– Applied Categorical Structures. A Journal Devoted to Applications of Categorical Methods in Algebra, Analysis, Order, Topology and Computer Science
(2010)
19,
1
(doi: 10.1007/s10485-010-9235-y)
Some reasons for generalising domain theory
– Mathematical Structures in Computer Science
(2010)
20,
239
(doi: 10.1017/S0960129509990375)
Editors' note: bibliometrics and the curators of orthodoxy
– Mathematical Structures in Computer Science
(2009)
19,
1
(doi: 10.1017/s0960129508007391)
Tripos Theory
– Mathematical Proceedings of the Cambridge Philosophical Society
(2008)
88,
205
(doi: 10.1017/s0305004100057534)
Abstract and Concrete Models for Recursion
(2008)
175
The cartesian closed bicategory of generalised species of structures
– Journal of the London Mathematical Society
(2007)
77,
203
(doi: 10.1112/jlms/jdm096)
Categorical combinatorics for innocent strategies
– 22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS
(2007)
379
(doi: 10.1109/lics.2007.14)
Combining algebraic effects with continuations
– Theoretical Computer Science
(2007)
375,
20
(doi: 10.1016/j.tcs.2006.12.026)
- <
- 2 of 8
