Carsten Führmann

On categorical models of classical logic and the Geometry of Interaction

David J. Pym, Carsten Führmann, D. Pym, 2007, Mathematical Structures in Computer Science.

An equational notion of lifting monad

Carsten Führmann, Alex K. Simpson, Anna Bucalo, 2003, Theor. Comput. Sci..

Direct Models for the Computational Lambda Calculus

Carsten Führmann, Carsten Führmann, 1999, MFPS.

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

Hayo Thielecke, Carsten Führmann, Hayo Thielecke, 2004, Inf. Comput..

The structure of call-by-value

Carsten Führmann, Carsten Führmann, 2000 .

On the geometry of interaction for classical logic

David J. Pym, Carsten Führmann, D. Pym, 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..

Equational Lifting Monads

Carsten Führmann, Alex K. Simpson, Anna Bucalo, 1999, CTCS.

Varieties of Effects

Carsten Führmann, Carsten Führmann, 2002, FoSSaCS.

Order-enriched categorical models of the classical sequent calculus

David J. Pym, Carsten Führmann, D. Pym, 2006 .

On the geometry of interaction for classical logic

David J. Pym, Carsten Führmann, 2004, LICS 2004.