Premonoidal categories and notions of computation J Power, E Robinson Mathematical structures in computer science 7 (5), 453-468, 1997 | 301 | 1997 |

Categories of partial maps E Robinson, G Rosolini Information and computation 79 (2), 95-130, 1988 | 210 | 1988 |

The discrete objects in the effective topos JME Hyland, EP Robinson, G Rosolini Proceedings of the London mathematical society 3 (1), 1-36, 1990 | 145 | 1990 |

Proof nets for classical logic E Robinson Journal of Logic and Computation 13 (5), 777-797, 2003 | 78 | 2003 |

Colimit completions and the effective topos E Robinson, G Rosolini The Journal of Symbolic Logic 55 (2), 678-699, 1990 | 75 | 1990 |

Variations on algebra: Monadicity and generalisations of equational therories E Robinson Formal Aspects of Computing 13, 308-326, 2002 | 74* | 2002 |

Reflexive graphs and parametric polymorphism EP Robinson, G Rosolini Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 364-371, 1994 | 69 | 1994 |

Logical relations and parametricity–a Reynolds programme for category theory and programming languages C Hermida, US Reddy, EP Robinson Electronic Notes in Theoretical Computer Science 303, 149-180, 2014 | 50 | 2014 |

A characterization of pie limits J Power, E Robinson Mathematical Proceedings of the Cambridge Philosophical Society 110 (1), 33-47, 1991 | 44 | 1991 |

How complete is PER? E Robinson Proceedings. Fourth Annual Symposium on Logic in Computer Science, 106,107 …, 1989 | 41 | 1989 |

Algebraic types in PER models JME Hyland, EP Robinson, G Rosolini International Conference on Mathematical Foundations of Programming …, 1989 | 36 | 1989 |

Categorical proof theory of classical propositional calculus G Bellin, M Hyland, E Robinson, C Urban Theoretical Computer Science 364 (2), 146-165, 2006 | 28 | 2006 |

Logical aspects of denotational semantics E Robinson Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005 | 25 | 2005 |

Power-domains, modalities and the Vietoris monad E Robinson University of Cambridge, Computer Laboratory, 1986 | 21 | 1986 |

Dinaturality for free PJ Freyd, EP Robinson, G Rosolini Applications of Categories in Computer Science 177, 107-118, 1992 | 20 | 1992 |

Functional parametricity PJ Freyd, EP Robinson, G Rosolini 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992 | 19 | 1992 |

The geometric theory of p-adic fields E Robinson Journal of Algebra 110 (1), 158-172, 1987 | 16 | 1987 |

The p-adic spectrum E Robinson Journal of Pure and Applied Algebra 40, 281-296, 1986 | 16 | 1986 |

Bunched polymorphism M Collinson, D Pym, E Robinson Mathematical Structures in Computer Science 18 (6), 1091-1132, 2008 | 13 | 2008 |

Logical relations and data abstraction J Power, E Robinson International Workshop on Computer Science Logic, 497-511, 2000 | 12 | 2000 |