Continuity and effectiveness in topoi G Rosolini University of Oxford, 1986 | 250 | 1986 |

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 | 143 | 1990 |

Extensional pers P Freyd, P Mulry, G Rosolini, D Scott Information and computation 98 (2), 211-227, 1992 | 90 | 1992 |

Quotient completion for the foundation of constructive mathematics ME Maietti, G Rosolini Logica Universalis 7, 371-402, 2013 | 87 | 2013 |

Elementary quotient completion ME Maietti, G Rosolini arXiv preprint arXiv:1206.0162, 2012 | 78 | 2012 |

Domains and denotational semantics: History, accomplishments and open problems A Jung, M Fiore, E Moggi, PW O’Hearn, JG Riecke, G Rosolini, I Stark SCHOOL OF COMPUTER SCIENCE RESEARCH REPORTS-UNIVERSITY OF BIRMINGHAM CSR, 1996 | 77 | 1996 |

Locally cartesian closed exact completions A Carboni, G Rosolini Journal of Pure and Applied Algebra 154 (1-3), 103-116, 2000 | 76 | 2000 |

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

Type theory via exact categories L Birkedal, A Carboni, G Rosolini, DS Scott Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 69 | 1998 |

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

Unifying exact completions ME Maietti, G Rosolini Applied Categorical Structures 23, 43-52, 2015 | 65 | 2015 |

About modest sets G Rosolini International Journal of foundations of computer science 1 (03), 341-353, 1990 | 49 | 1990 |

A category theoretic formulation for Engeler-style models of the untyped λ-calculus M Hyland, M Nagayama, J Power, G Rosolini Electronic notes in theoretical computer science 161, 43-57, 2006 | 38 | 2006 |

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

Equilogical spaces and filter spaces G Rosolini Rendiconti del Circolo Matematico di Palermo (Serie II) 64, 2000 | 36 | 2000 |

Triposes, exact completions, and Hilbert's ε-operator ME Maietti, F Pasquali, G Rosolini | 35 | 2017 |

Two models of synthetic domain theory MP Fiore, G Rosolini Journal of Pure and Applied Algebra 116 (1-3), 151-162, 1997 | 35 | 1997 |

Categories and effective computations G Rosolini Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005 | 26 | 2005 |

Elementary doctrines as coalgebras J Emmenegger, F Pasquali, G Rosolini Journal of Pure and Applied Algebra 224 (12), 106445, 2020 | 20 | 2020 |