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
2501986
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
1431990
Extensional pers
P Freyd, P Mulry, G Rosolini, D Scott
Information and computation 98 (2), 211-227, 1992
901992
Quotient completion for the foundation of constructive mathematics
ME Maietti, G Rosolini
Logica Universalis 7, 371-402, 2013
872013
Elementary quotient completion
ME Maietti, G Rosolini
arXiv preprint arXiv:1206.0162, 2012
782012
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
771996
Locally cartesian closed exact completions
A Carboni, G Rosolini
Journal of Pure and Applied Algebra 154 (1-3), 103-116, 2000
762000
Colimit completions and the effective topos
E Robinson, G Rosolini
The Journal of Symbolic Logic 55 (2), 678-699, 1990
741990
Type theory via exact categories
L Birkedal, A Carboni, G Rosolini, DS Scott
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
691998
Reflexive graphs and parametric polymorphism
EP Robinson, G Rosolini
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 364-371, 1994
681994
Unifying exact completions
ME Maietti, G Rosolini
Applied Categorical Structures 23, 43-52, 2015
652015
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
382006
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
362000
Triposes, exact completions, and Hilbert's ε-operator
ME Maietti, F Pasquali, G Rosolini
352017
Two models of synthetic domain theory
MP Fiore, G Rosolini
Journal of Pure and Applied Algebra 116 (1-3), 151-162, 1997
351997
Categories and effective computations
G Rosolini
Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005
262005
Elementary doctrines as coalgebras
J Emmenegger, F Pasquali, G Rosolini
Journal of Pure and Applied Algebra 224 (12), 106445, 2020
202020
The system can't perform the operation now. Try again later.
Articles 1–20