| Direct models of the computational lambda-calculus C Führmann Electronic Notes in Theoretical Computer Science 20, 245-292, 1999 | 56 | 1999 |
| 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 | 51 | 2006 |
| Varieties of effects C Führmann Foundations of Software Science and Computation Structures: 5th …, 2002 | 39 | 2002 |
| 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 | 37 | 2004 |
| On the call-by-value CPS transform and its semantics C Führmann, H Thielecke Information and Computation 188 (2), 241-283, 2004 | 24 | 2004 |
| An equational notion of lifting monad A Bucalo, C Führmann, A Simpson Theoretical Computer Science 294 (1-2), 31-60, 2003 | 24 | 2003 |
| The structure of call-by-value C Führmann University of Edinburgh. College of Science and Engineering. School of …, 2000 | 21 | 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 | 16 | 2007 |
| Equational Lifting Monads. A Bucalo, C Führmann, AK Simpson CTCS, 22, 1999 | 6 | 1999 |
| A Games semantics for proofs in the classical sequent calculus D Pym, E Ritter, C Führmann | | |
Hayo ThieleckeUniversity of BirminghamVerified email at cs.bham.ac.uk
Hayo ThieleckeUniversity of BirminghamVerified email at cs.bham.ac.uk