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.