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