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
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)
Linear λ-calculus and categorical models revisited
(1993)
702 LNCS,
61
(doi: 10.1007/3-540-56992-8_6)
Modified realizability toposes and strong normalization proofs
(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
1ST STEPS IN SYNTHETIC DOMAIN THEORY
– LECTURE NOTES IN MATHEMATICS
(1991)
1488,
131
- <
- 7 of 9