Carsten Führmann
Carsten Führmann
Interflex Datensysteme GmbH
Verified email at - Homepage
Cited by
Cited by
Order-enriched categorical models of the classical sequent calculus
C Führmann, D Pym
Journal of Pure and Applied Algebra 204 (1), 21-78, 2006
Direct models of the computational lambda-calculus
C Führmann
Electronic Notes in Theoretical Computer Science 20, 245-292, 1999
On the geometry of interaction for classical logic
C Fuhrmann, D Pym
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
Varieties of effects
C Führmann
International Conference on Foundations of Software Science and Computation …, 2002
On the call-by-value CPS transform and its semantics
C Führmann, H Thielecke
Information and Computation 188 (2), 241-283, 2004
An equational notion of lifting monad
A Bucalo, C Führmann, A Simpson
Theoretical Computer Science 294 (1-2), 31-60, 2003
The structure of call-by-value
C Führmann
University of Edinburgh. College of Science and Engineering. School of …, 2000
On categorical models of classical logic and the geometry of interaction
C Führmann, D Pym
Mathematical Structures in Computer Science 17 (05), 957-1027, 2007
Equational Lifting Monads.
A Bucalo, C Führmann, AK Simpson
CTCS, 22, 1999
A Games semantics for proofs in the classical sequent calculus
D Pym, E Ritter, C Führmann
The system can't perform the operation now. Try again later.
Articles 1–10