Follow
Giuseppe Rosolini
Giuseppe Rosolini
Professor of Mathematical Logic, Universitą degli Studi di Genova
Verified email at unige.it
Title
Cited by
Cited by
Year
Continuity and effectiveness in topoi
G Rosolini
University of Oxford, 1986
2551986
Categories of partial maps
E Robinson, G Rosolini
Information and computation 79 (2), 95-130, 1988
2101988
The discrete objects in the effective topos
JME Hyland, EP Robinson, G Rosolini
Proceedings of the London mathematical society 3 (1), 1-36, 1990
1451990
Quotient completion for the foundation of constructive mathematics
ME Maietti, G Rosolini
Logica Universalis 7, 371-402, 2013
982013
Extensional pers
P Freyd, P Mulry, G Rosolini, D Scott
Information and computation 98 (2), 211-227, 1992
891992
Elementary quotient completion
ME Maietti, G Rosolini
arXiv preprint arXiv:1206.0162, 2012
842012
Locally cartesian closed exact completions
A Carboni, G Rosolini
Journal of Pure and Applied Algebra 154 (1-3), 103-116, 2000
802000
Colimit completions and the effective topos
E Robinson, G Rosolini
The Journal of Symbolic Logic 55 (2), 678-699, 1990
771990
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
751996
Type theory via exact categories
L Birkedal, A Carboni, G Rosolini, DS Scott
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
721998
Unifying exact completions
ME Maietti, G Rosolini
Applied Categorical Structures 23, 43-52, 2015
692015
Reflexive graphs and parametric polymorphism
EP Robinson, G Rosolini
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 364-371, 1994
691994
About modest sets
G Rosolini
International Journal of foundations of computer science 1 (03), 341-353, 1990
491990
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
402006
Triposes, exact completions, and Hilbert's ε-operator
ME Maietti, F Pasquali, G Rosolini
392017
Algebraic types in PER models
JME Hyland, EP Robinson, G Rosolini
International Conference on Mathematical Foundations of Programming …, 1989
381989
Equilogical spaces and filter spaces
G Rosolini
Rendiconti del Circolo Matematico di Palermo (Serie II) 64, 2000
372000
Two models of synthetic domain theory
MP Fiore, G Rosolini
Journal of Pure and Applied Algebra 116 (1-3), 151-162, 1997
371997
Categories and effective computations
G Rosolini
Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005
272005
Elementary doctrines as coalgebras
J Emmenegger, F Pasquali, G Rosolini
Journal of Pure and Applied Algebra 224 (12), 106445, 2020
222020
The system can't perform the operation now. Try again later.
Articles 1–20