Giuseppe Rosolini
Giuseppe Rosolini
Professor of Mathematical Logic, Università degli Studi di Genova
E-mail confirmado em unige.it
Título
Citado por
Citado por
Ano
Continuity and effectiveness in topoi
G Rosolini
University of Oxford, 1986
2021986
Categories of partial maps
E Robinson, G Rosolini
Information and computation 79 (2), 95-130, 1988
1781988
The discrete objects in the effective topos
JME Hyland, EP Robinson, G Rosolini
Proceedings of the London mathematical society 3 (1), 1-36, 1990
1301990
Extensional pers
P Freyd, P Mulry, G Rosolini, D Scott
Information and computation 98 (2), 211-227, 1992
841992
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
681996
Locally cartesian closed exact completions
A Carboni, G Rosolini
Journal of Pure and Applied Algebra 154 (1-3), 103-116, 2000
672000
Type theory via exact categories
L Birkedal, A Carboni, G Rosolini, DS Scott
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
661998
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
591994
About modest sets
G Rosolini
International Journal of foundations of computer science 1 (03), 341-353, 1990
441990
Elementary quotient completion
ME Maietti, G Rosolini
arXiv preprint arXiv:1206.0162, 2012
392012
Quotient completion for the foundation of constructive mathematics
ME Maietti, G Rosolini
Logica Universalis 7 (3), 371-402, 2013
372013
Equilogical spaces and filter spaces
G Rosolini
Rendiconti del Circolo Matematico di Palermo (Serie II) 64, 2000
332000
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
322006
Algebraic types in PER models
JME Hyland, EP Robinson, G Rosolini
International Conference on Mathematical Foundations of Programming …, 1989
321989
Unifying exact completions
ME Maietti, G Rosolini
Applied Categorical Structures 23 (1), 43-52, 2015
302015
Two models of synthetic domain theory
MP Fiore, G Rosolini
Journal of Pure and Applied Algebra 116 (1-3), 151-162, 1997
271997
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20