In reverse chronological order:
- Carsten Führmann and David Pym.
On categorical models of classical logic and the Geometry of Interaction.
Mathematical Structures in Computer Science, 17(5):957-1027, October 2007. - Carsten Führmann and David Pym.
Order-enriched categorical models of the classical sequent calculus.
J. Pure Applied Algebra, 204(1):21-78, January 2006. - Carsten Führmann and David Pym.
On the Geometry of Interaction for Classical Logic.
In Proceedings of the Nineteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2004), pages 211-220, Turku (Finland), 2004. - Carsten Führmann and Hayo Thielecke.
On the call-by-value CPS transform and its semantics.
Information and Computation, 188(2):241-283, 2004. - Anna Bucalo, Carsten Führmann, and Alex Simpson.
An equational notion of lifting monad.
Theoretical Computer Science, 294:31-60, 2003. - Carsten Führmann.
Varieties of effects.
In Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2002), volume 2303 of LNCS, pages 144-158, Grenoble, 2002. Springer-Verlag. - Carsten Führmann.
The structure of call-by-value.
PhD thesis, Division of Informatics, University of Edinburgh, 2000. - Anna Bucalo, Carsten Führmann, and Alex Simpson.
Equational lifting monads.
In Proceedings of the 8th annual conference on Category Theory and Computer Science (CTCS’99), Electronic Notes in Theoretical Computer Science, pages 207-260, Edinburgh, 1999. Elsevier. - Carsten Führmann.
Direct models of the computational lambda-calculus.
In Proceedings of the 15th Conference on Mathematical Foundations of Programming Semantics (MFPS XV), volume 20 of Electronic Notes in Theoretical Computer Science, pages 147-172, New Orleans, 1999. Elsevier.