Publications by Carsten Führmann

In reverse chronological order:

On categorical models of classical logic and the Geometry of Interaction

Carsten Führmann and David Pym

Mathematical Structures in Computer Science, 17(5):957-1027, October 2007


Order-enriched categorical models of the classical sequent calculus

Carsten Führmann and David Pym

J. Pure Applied Algebra, 204(1):21-78, January 2006


On the Geometry of Interaction for Classical Logic

Carsten Führmann and David Pym

In Proceedings of the Nineteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2004), pages 211-220, Turku (Finland), 2004


On the call-by-value CPS transform and its semantics

Carsten Führmann and Hayo Thielecke

Information and Computation, 188(2):241-283, 2004


An equational notion of lifting monad

Anna Bucalo, Carsten Führmann, and Alex Simpson

Theoretical Computer Science, 294:31-60, 2003


Varieties of effects

Carsten Führmann

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


The structure of call-by-value

Carsten Führmann

PhD thesis, Division of Informatics, University of Edinburgh, 2000


Equational lifting monads

Anna Bucalo, Carsten Führmann, and Alex Simpson

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


Direct models of the computational lambda-calculus

Carsten Führmann

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


Unpublished notes

A pattern-matching calculus for *-autonomous categories

Carsten Führmann

Unpublished notes