Carsten Führmann
Carsten Führmann
Interflex Datensysteme GmbH
Verified email at allegion.com
TitleCited byYear
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
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
Direct models of the computational lambda-calculus
C Führmann
Electronic Notes in Theoretical Computer Science 20, 245-292, 1999
301999
Varieties of effects
C Führmann
International Conference on Foundations of Software Science and Computation …, 2002
282002
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
182003
The structure of call-by-value
C Führmann
University of Edinburgh. College of Science and Engineering. School of …, 2000
172000
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
152007
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