| 2007 |
|---|
| 7 | EE | Carsten Führmann,
David J. Pym:
On categorical models of classical logic and the Geometry of Interaction.
Mathematical Structures in Computer Science 17(5): 957-1027 (2007) |
| 2004 |
|---|
| 6 | EE | Carsten Führmann,
David J. Pym:
On the Geometry of Interaction for Classical Logic.
LICS 2004: 211-220 |
| 5 | EE | Carsten Führmann,
Hayo Thielecke:
On the call-by-value CPS transform and its semantics.
Inf. Comput. 188(2): 241-283 (2004) |
| 2003 |
|---|
| 4 | | Anna Bucalo,
Carsten Führmann,
Alex K. Simpson:
An equational notion of lifting monad.
Theor. Comput. Sci. 294(1/2): 31-60 (2003) |
| 2002 |
|---|
| 3 | EE | Carsten Führmann:
Varieties of Effects.
FoSSaCS 2002: 144-158 |
| 1999 |
|---|
| 2 | EE | Carsten Führmann:
Direct Models for the Computational Lambda Calculus.
Electr. Notes Theor. Comput. Sci. 20: (1999) |
| 1 | EE | Anna Bucalo,
Carsten Führmann,
Alex K. Simpson:
Equational Lifting Monads.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
