dblp.uni-trier.dewww.uni-trier.de

Carsten Führmann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)