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
Modified realizability toposes and strong normalization proofs (extended abstract)
(1993)
664,
179
(doi: 10.1007/bfb0037106)
Modified realizability toposes and strong normalization proofs
– Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
(1993)
664 LNCS,
179
(doi: 10.1007/bfb0037106)
Computing and foundations
(1991)
30,
269
ALGEBRAIC TYPES IN PER MODELS
– MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS /
(1990)
442,
333
- <
- 7 of 9