| Continuity and effectiveness in topoi G Rosolini University of Oxford, 1986 | 220 | 1986 |
| Categories of partial maps E Robinson, G Rosolini Information and computation 79 (2), 95-130, 1988 | 193 | 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 | 136 | 1990 |
| Extensional pers P Freyd, P Mulry, G Rosolini, D Scott Information and computation 98 (2), 211-227, 1992 | 87 | 1992 |
| Locally cartesian closed exact completions A Carboni, G Rosolini Journal of Pure and Applied Algebra 154 (1-3), 103-116, 2000 | 75 | 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 | 70 | 1996 |
| Type theory via exact categories L Birkedal, A Carboni, G Rosolini, DS Scott Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 68 | 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 |
| Colimit completions and the effective topos E Robinson, G Rosolini The Journal of Symbolic Logic 55 (2), 678-699, 1990 | 66 | 1990 |
| Quotient completion for the foundation of constructive mathematics ME Maietti, G Rosolini Logica Universalis 7 (3), 371-402, 2013 | 63 | 2013 |
| Elementary quotient completion ME Maietti, G Rosolini arXiv preprint arXiv:1206.0162, 2012 | 58 | 2012 |
| About modest sets G Rosolini International Journal of foundations of computer science 1 (03), 341-353, 1990 | 46 | 1990 |
| Unifying exact completions ME Maietti, G Rosolini Applied Categorical Structures 23 (1), 43-52, 2015 | 45 | 2015 |
| Equilogical spaces and filter spaces G Rosolini Rendiconti del Circolo Matematico di Palermo (Serie II) 64, 2000 | 37 | 2000 |
| 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 | 35 | 2006 |
| Algebraic types in PER models JME Hyland, EP Robinson, G Rosolini International Conference on Mathematical Foundations of Programming …, 1989 | 35 | 1989 |
| Two models of synthetic domain theory MP Fiore, G Rosolini Journal of Pure and Applied Algebra 116 (1-3), 151-162, 1997 | 32 | 1997 |
| Categories and effective computations G Rosolini Category Theory and Computer Science, 1-11, 1987 | 26 | 1987 |
| Triposes, exact completions, and Hilbert's ε-operator ME Maietti, F Pasquali, G Rosolini Tbilisi Mathematical Journal 10 (3), 141-166, 2017 | 20 | 2017 |
| Dinaturality for free PJ Freyd, EP Robinson, G Rosolini Applications of Categories in Computer Science 177, 107-118, 1992 | 18 | 1992 |
