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
2101986
Categories of partial maps
E Robinson, G Rosolini
Information and computation 79 (2), 95-130, 1988
1841988
The discrete objects in the effective topos
JME Hyland, EP Robinson, G Rosolini
Proceedings of the London mathematical society 3 (1), 1-36, 1990
1321990
Extensional pers
P Freyd, P Mulry, G Rosolini, D Scott
Information and computation 98 (2), 211-227, 1992
861992
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
701996
Locally cartesian closed exact completions
A Carboni, G Rosolini
Journal of Pure and Applied Algebra 154 (1-3), 103-116, 2000
692000
Type theory via exact categories
L Birkedal, A Carboni, G Rosolini, DS Scott
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
671998
Colimit completions and the effective topos
E Robinson, G Rosolini
The Journal of Symbolic Logic 55 (2), 678-699, 1990
641990
Reflexive graphs and parametric polymorphism
EP Robinson, G Rosolini
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 364-371, 1994
621994
About modest sets
G Rosolini
International Journal of foundations of computer science 1 (03), 341-353, 1990
471990
Quotient completion for the foundation of constructive mathematics
ME Maietti, G Rosolini
Logica Universalis 7 (3), 371-402, 2013
462013
Elementary quotient completion
ME Maietti, G Rosolini
arXiv preprint arXiv:1206.0162, 2012
452012
Unifying exact completions
ME Maietti, G Rosolini
Applied Categorical Structures 23 (1), 43-52, 2015
382015
Equilogical spaces and filter spaces
G Rosolini
Rendiconti del Circolo Matematico di Palermo (Serie II) 64, 2000
342000
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
332006
Algebraic types in PER models
JME Hyland, EP Robinson, G Rosolini
International Conference on Mathematical Foundations of Programming …, 1989
331989
Two models of synthetic domain theory
MP Fiore, G Rosolini
Journal of Pure and Applied Algebra 116 (1-3), 151-162, 1997
301997
Categories and effective computations
G Rosolini
Category Theory and Computer Science, 1-11, 1987
241987
Dinaturality for free
PJ Freyd, EP Robinson, G Rosolini
Applications of Categories in Computer Science 177, 107-118, 1992
181992
Functional parametricity
PJ Freyd, EP Robinson, G Rosolini
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
151992
The system can't perform the operation now. Try again later.
Articles 1–20