Carsten Führmann

According to our database, Carsten Führmann authored at least 8 papers between 1999 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

On categorical models of classical logic and the Geometry of Interaction.

Carsten Führmann, David J. Pym

Math. Struct. Comput. Sci., 2007

2004

On the call-by-value CPS transform and its semantics.

Carsten Führmann, Hayo Thielecke

Inf. Comput., 2004

On the Geometry of Interaction for Classical Logic.

Carsten Führmann, David J. Pym

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2003

An equational notion of lifting monad.

Anna Bucalo, Carsten Führmann, Alex K. Simpson

Theor. Comput. Sci., 2003

2002

Varieties of Effects.

Carsten Führmann

Proceedings of the Foundations of Software Science and Computation Structures, 2002

2000

The structure of call-by-value.

Carsten Führmann

PhD thesis, 2000

1999

Equational Lifting Monads.

Anna Bucalo, Carsten Führmann, Alex K. Simpson

Proceedings of the Conference on Category Theory and Computer Science, 1999

Direct Models for the Computational Lambda Calculus.

Carsten Führmann

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999