Direct Models for the Computational Lambda Calculus. - Carsten Führmann (MFPS, 1999)

Equational Lifting Monads. - Anna Bucalo; Carsten Führmann; Alex K. Simpson (CTCS, 1999)

The structure of call-by-value. - Carsten Führmann (2000)

Varieties of Effects. - Carsten Führmann (FoSSaCS, 2002)

An equational notion of lifting monad. - Anna Bucalo; Carsten Führmann; Alex K. Simpson (Theor. Comput. Sci., 2003)

On the Geometry of Interaction for Classical Logic. - Carsten Führmann; David J. Pym (LICS, 2004)

On the call-by-value CPS transform and its semantics. - Carsten Führmann; Hayo Thielecke (Inf. Comput., 2004)

On categorical models of classical logic and the Geometry of Interaction. - Carsten Führmann; David J. Pym (Math. Struct. Comput. Sci., 2007)