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
On full abstraction for PCF: I, II, and III
– Information and Computation
(2000)
163,
285
(doi: 10.1006/inco.2000.2917)
Symmetric monoidal sketches
– Proceedings of the 2nd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
(2000)
280
(doi: 10.1145/351268.351299)
Abstract games for linear logic extended abstract
– Electronic Notes in Theoretical Computer Science
(1999)
29,
127
Abstract games for linear logic (extended abstract)
(1999)
29,
Paper No. 29013
Logic: from foundations to applications
(1996)
xiv+536
Pi-calculus, dialogue games and PCF
– undefined
(1995)
96
Full intuitionistic linear logic (extended abstract)1 1 Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991.
– Annals of Pure and Applied Logic
(1993)
64,
273
(doi: 10.1016/0168-0072(93)90146-5)
Full intuitionistic linear logic (extended abstract)11Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991.
– Annals of Pure and Applied Logic
(1993)
64,
273
(doi: 10.1016/0168-0072(93)90146-5)
- <
- 6 of 9