Carsten Führmann
Carsten Führmann
Interflex Datensysteme GmbH
Verified email at allegion.com
Title
Cited by
Cited by
Year
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
512006
Direct Models for the Computational Lambda Calculus.
C Führmann
Electr. Notes Theor. Comput. Sci. 20, 245-292, 1999
371999
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
362004
Varieties of effects
C Führmann
International Conference on Foundations of Software Science and Computation …, 2002
302002
On the call-by-value CPS transform and its semantics
C Führmann, H Thielecke
Information and Computation 188 (2), 241-283, 2004
222004
An equational notion of lifting monad
A Bucalo, C Führmann, A Simpson
Theoretical Computer Science 294 (1-2), 31-60, 2003
192003
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
162007
The structure of call-by-value
C Führmann
University of Edinburgh. College of Science and Engineering. School of …, 2000
162000
Equational Lifting Monads.
A Bucalo, C Führmann, AK Simpson
Electr. Notes Theor. Comput. Sci. 29, 22, 1999
51999
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