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
Pseudo-commutative monads and pseudo-closed 2-categories
– Journal of Pure and APPlied Algebra
(2002)
175,
141
Designs, disputes and strategies
– Lecture Notes in Computer Science
(2002)
2471,
442
(doi: 10.1007/3-540-45793-3_30)
Variations on realizability: realizing the propositional axiom of choice.
– Mathematical Structures in Computer Science
(2002)
12,
295
(doi: 10.1017/S0960129502003651)
Proof theory in the abstract
– Annals of Pure and Applied Logic
(2002)
114,
43
Traced Premonoidal Categories (extended abstract)
– BRICS Note Series NS-02-2
(2002)
12
Games on graphs and sequentially realizable functionals
– 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS
(2002)
257
Combining computational effects: Commutativity and sum
– IFIP Advances in Information and Communication Technology
(2002)
96,
474
(doi: 10.1007/978-0-387-35608-2_39)
Two-dimensional linear algebra
– Electronic Notes in Theoretical Computer Science
(2001)
44,
227
Pseudo-commutative Monads
– Electronic Notes in Theoretical Computer Science
(2001)
45,
205
On Full Abstraction for PCF: I, II, and III
– Information and Computation
(2000)
163,
285
(doi: 10.1006/inco.2000.2917)
- <
- 5 of 9