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 | 53 | 2006 |

Direct models of the computational lambda-calculus C Führmann Electronic Notes in Theoretical Computer Science 20, 245-292, 1999 | 45 | 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 | 38 | 2004 |

Varieties of effects C Führmann International Conference on Foundations of Software Science and Computation …, 2002 | 34 | 2002 |

On the call-by-value CPS transform and its semantics C Führmann, H Thielecke Information and Computation 188 (2), 241-283, 2004 | 22 | 2004 |

An equational notion of lifting monad A Bucalo, C Führmann, A Simpson Theoretical Computer Science 294 (1-2), 31-60, 2003 | 21 | 2003 |

The structure of call-by-value C Führmann University of Edinburgh. College of Science and Engineering. School of …, 2000 | 18 | 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 | 17 | 2007 |

Equational Lifting Monads. A Bucalo, C Führmann, AK Simpson CTCS, 22, 1999 | 7 | 1999 |

A Games semantics for proofs in the classical sequent calculus D Pym, E Ritter, C Führmann | | |