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
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
– Electronic Notes in Theoretical Computer Science
(2007)
172,
437
(doi: 10.1016/j.entcs.2007.02.019)
The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads.
– Electronic Notes in Theoretical Computer Science
(2007)
172,
43
Discrete Lawvere theories and computational effects
– Theoretical Computer Science
(2006)
366,
144
(doi: 10.1016/j.tcs.2006.07.007)
Categorical proof theory of classical propositional calculus
– Theoretical Computer Science
(2006)
364,
146
(doi: 10.1016/j.tcs.2006.08.002)
A Category Theoretic Formulation for Engeler-style Models of the Untyped Ī»-Calculus
– Electronic Notes in Theoretical Computer Science
(2006)
161,
43
(doi: 10.1016/j.entcs.2006.04.024)
Combining effects: Sum and tensor
– Theoretical Computer Science
(2006)
357,
70
(doi: 10.1016/j.tcs.2006.03.013)
Symmetric Monoidal Sketches and Categories of Wirings
– Electronic Notes in Theoretical Computer Science
(2004)
100,
31
(doi: 10.1016/j.entcs.2004.09.004)
Abstract Interpretation of Proofs: Classical Propositional Calculus
– Lecture Notes in Computer Science
(2004)
3210,
6
(doi: 10.1007/978-3-540-30124-0_2)
Traced premonoidal categories
– RAIRO - Theoretical Informatics and Applications
(2004)
37,
273
(doi: 10.1051/ita:2003020)
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)
- <
- 3 of 8