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
ALGEBRAIC TYPES IN PER MODELS
– MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS /
(1990)
442,
333
ALGEBRAIC TYPES IN PER MODELS
– LECTURE NOTES IN COMPUTER SCIENCE
(1990)
442,
333
The Theory of Constructions: Categorical Semantics and Topos-theoretic Models
– Categories in Computer Science and Logic
(1989)
92,
137-199
A small complete category
– Annals of Pure and Applied Logic
(1988)
40,
135
(doi: 10.1016/0168-0072(88)90018-8)
Applications of constructivity
(1982)
104,
145
The effective topos
(1982)
110,
165
Filter spaces and continuous functionals
– Annals of Mathematical Logic
(1979)
16,
101
(doi: 10.1016/0003-4843(79)90006-8)
Sheaf models for analysis
– Lecture Notes in Mathematics
(1979)
280
Continuity in spatial toposes
(1979)
753,
442
- <
- 7 of 8