The proof theory and semantics of intuitionistic modal logic AK Simpson University of Edinburgh. College of Science and Engineering. School of …, 1994 | 584 | 1994 |

Sequent calculi for induction and infinite descent J Brotherston, A Simpson Journal of Logic and Computation 21 (6), 1177-1216, 2011 | 178 | 2011 |

Complete axioms for categorical fixed-point operators A Simpson, G Plotkin Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science …, 2000 | 171 | 2000 |

Comparing Cartesian closed categories of (core) compactly generated spaces M Escardó, J Lawson, A Simpson Topology and its Applications 143 (1-3), 105-145, 2004 | 129 | 2004 |

Lazy functional algorithms for exact real functionals AK Simpson Mathematical Foundations of Computer Science 1998: 23rd International …, 1998 | 75 | 1998 |

Cyclic arithmetic is equivalent to peano arithmetic A Simpson Foundations of Software Science and Computation Structures: 20th …, 2017 | 67 | 2017 |

A convenient category of domains I Battenfeld, M Schröder, A Simpson Electronic Notes in Theoretical Computer Science 172, 69-99, 2007 | 65 | 2007 |

A generic operational metatheory for algebraic effects P Johann, A Simpson, J Voigtländer 2010 25th Annual IEEE Symposium on Logic in Computer Science, 209-218, 2010 | 62 | 2010 |

Complete sequent calculi for induction and infinite descent J Brotherston, A Simpson 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 51-62, 2007 | 62 | 2007 |

A uniform approach to domain theory in realizability models JR Longley, AK Simpson Mathematical Structures in Computer Science 7 (5), 469-505, 1997 | 62 | 1997 |

Elementary axioms for categories of classes AK Simpson Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 49 | 1999 |

Recursive types in Kleisli categories AK Simpson Unpublished manuscript, University of Edinburgh, 1992 | 47 | 1992 |

Topological and limit-space subcategories of countably-based equilogical spaces M Menni, A Simpson Mathematical Structures in Computer Science 12 (6), 739-770, 2002 | 46 | 2002 |

Behavioural equivalence via modalities for algebraic effects A Simpson, N Voorneveld ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (1), 1-45, 2019 | 44 | 2019 |

The enriched effect calculus: syntax and semantics J Egger, R Ejlers, A Simpson Journal of Logic and Computation 24 (3), 615-654, 2014 | 44 | 2014 |

Reduction in a linear lambda-calculus with applications to operational semantics A Simpson RTA 3467, 219-234, 2005 | 44 | 2005 |

Relating first-order set theories, toposes and categories of classes S Awodey, C Butz, A Simpson, T Streicher Annals of Pure and Applied Logic 165 (2), 428-502, 2014 | 42 | 2014 |

Enriching an effect calculus with linear types J Egger, RE Møgelberg, A Simpson Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual …, 2009 | 40 | 2009 |

Comparing functional paradigms for exact real-number computation A Bauer, MH Escardó, A Simpson Automata, Languages and Programming: 29th International Colloquium, ICALP …, 2002 | 40 | 2002 |

A universal characterization of the closed Euclidean interval MH Escardo, AK Simpson Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 115-125, 2001 | 39 | 2001 |