# 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*