| |
| 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) |
| 1 | Anna Bucalo | [1] [4] |
| 2 | David J. Pym | [6] [7] |
| 3 | Alex K. Simpson (Alex Simpson) | [1] [4] |
| 4 | Hayo Thielecke | [5] |