Research
Current interests
Mathematical Logic: Proof theory of Linear Logic, Intuitionistic
Logic and Classical Logic. Categorical Semantics of Proofs,
Full Completeness Theorems;
Models for Linear Logic, Game Semantics for Proofs,
Geometry of Interaction, Abstract Interpretations.
Category Theory: Categorical algebra, Higher Dimensional
Categories, Generalised Operads, Higher Dimensional Algebra,
Topological Field Theories, Reconstruction Theorems,
Cobordism Categories, Vertex Algebras.
Theoretical Computer Science: Realizability Models,
Synthetic Domain Theory,
Polymorphism,
Linear Types Systems, Game Semantics for Computation,
Abstract Games.
Other areas of expertise
The Pure Lambda Calculus; Higher Type Recursion Theory;
Sheaf and Topos Models for Intuitionism; Topos Theory
and Locale Theory.
Research material
Publications I am trying to put together a collection of
recent
published papers. I am also starting to make a collection of
earlier papers. In time I hope to
make this complete.
When I get time I shall also put up other miscellaneous information
with a link from this page.
For the moment I have slides from some
of the talks which I have given
in the last few years.
Research Projects
Summary of recent EPSRC project
Uniform
Game semantics etc made available as required.