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
Continuity in spatial toposes
(1979)
753,
442
The intrinsic recursion theory on the countable or continuous functionals
– Generalized Recursion Theory II
(1978)
135
Computable and recursively countable functions of higher type
– Logic Colloquium '76
(1977)
407-438
Aspects of constructivity in mathematics
(1977)
439
Proceedings of a Conference held in Oxford, July 19–30, 1976
(1977)
Aspects of Constructivity
– Logic Colloquium '76
(1977)
439-454
A survey of some useful partial order relations on terms of the Lambda Calculus
– Lecture Notes in Computer Science
(1976)
37,
83
- <
- 9 of 9