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
Wellfounded trees and dependent polynomial functors
– Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
(2004)
3085,
210
(doi: 10.1007/978-3-540-24849-1_14)
Glueing and orthogonality for models of linear logic
– Theoretical Computer Science
(2003)
294,
183
Pseudo-distributive laws
– Electronic Notes in Theoretical Computer Science
(2003)
83,
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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
(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
Games on graphs and sequentially realizable functionals
– 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS
(2002)
257
Traced Premonoidal Categories (extended abstract)
– BRICS Note Series NS-02-2
(2002)
12
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)
- <
- 4 of 8