Carsten Führmann

Publication Activity (10 Years)

Years Active: 1999-2007
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Carsten Führmann, David J. Pym
On categorical models of classical logic and the Geometry of Interaction. Math. Struct. Comput. Sci. 17 (5) (2007)
Carsten Führmann, Hayo Thielecke
On the call-by-value CPS transform and its semantics. Inf. Comput. 188 (2) (2004)
Carsten Führmann, David J. Pym
On the Geometry of Interaction for Classical Logic. LICS (2004)
Anna Bucalo, Carsten Führmann, Alex K. Simpson
An equational notion of lifting monad. Theor. Comput. Sci. 294 (1/2) (2003)
Carsten Führmann
Varieties of Effects. FoSSaCS (2002)
Anna Bucalo, Carsten Führmann, Alex K. Simpson
Equational Lifting Monads. CTCS (1999)
Carsten Führmann
Direct Models for the Computational Lambda Calculus. MFPS (1999)