Carsten Führmann

	2007
7		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		Carsten Führmann, David J. Pym: On the Geometry of Interaction for Classical Logic. LICS 2004: 211-220
5		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		Carsten Führmann: Varieties of Effects. FoSSaCS 2002: 144-158
	1999
2		Carsten Führmann: Direct Models for the Computational Lambda Calculus. Electr. Notes Theor. Comput. Sci. 20: (1999)
1		Anna Bucalo, Carsten Führmann, Alex K. Simpson: Equational Lifting Monads. Electr. Notes Theor. Comput. Sci. 29: (1999)

Coauthor Index

1	Anna Bucalo	[1] [4]
2	David J. Pym	[6] [7]
3	Alex K. Simpson (Alex Simpson)	[1] [4]
4	Hayo Thielecke	[5]

Colors in the list of coauthors