| 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 | 145 | 1990 |
| Quotient completion for the foundation of constructive mathematics ME Maietti, G Rosolini Logica Universalis 7, 371-402, 2013 | 91 | 2013 |
| Extensional pers P Freyd, P Mulry, G Rosolini, D Scott Information and computation 98 (2), 211-227, 1992 | 89 | 1992 |
| Elementary quotient completion ME Maietti, G Rosolini arXiv preprint arXiv:1206.0162, 2012 | 79 | 2012 |
| Locally cartesian closed exact completions A Carboni, G Rosolini Journal of Pure and Applied Algebra 154 (1-3), 103-116, 2000 | 79 | 2000 |
| 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 | 75 | 1996 |
| Colimit completions and the effective topos E Robinson, G Rosolini The Journal of Symbolic Logic 55 (2), 678-699, 1990 | 75 | 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 | 70 | 1998 |
| Reflexive graphs and parametric polymorphism EP Robinson, G Rosolini Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 364-371, 1994 | 69 | 1994 |
| Unifying exact completions ME Maietti, G Rosolini Applied Categorical Structures 23, 43-52, 2015 | 66 | 2015 |
| About modest sets G Rosolini International Journal of foundations of computer science 1 (03), 341-353, 1990 | 49 | 1990 |
| Algebraic types in PER models JME Hyland, EP Robinson, G Rosolini International Conference on Mathematical Foundations of Programming …, 1989 | 38 | 1989 |
| 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 | 37 | 2006 |
| Equilogical spaces and filter spaces G Rosolini Rendiconti del Circolo Matematico di Palermo (Serie II) 64, 2000 | 37 | 2000 |
| Two models of synthetic domain theory MP Fiore, G Rosolini Journal of Pure and Applied Algebra 116 (1-3), 151-162, 1997 | 37 | 1997 |
| Triposes, exact completions, and Hilbert's ε-operator ME Maietti, F Pasquali, G Rosolini | 36 | 2017 |
| Categories and effective computations G Rosolini Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005 | 27 | 2005 |
| Elementary doctrines as coalgebras J Emmenegger, F Pasquali, G Rosolini Journal of Pure and Applied Algebra 224 (12), 106445, 2020 | 21 | 2020 |
