Giuseppe Rosolini

Publication Activity (10 Years)

Years Active: 1987-2022
Publications (10 Years): 6

Top Topics

School Children

Top Venues

Math. Struct. Comput. Sci.

Fundam. Informaticae

Appl. Categorical Struct.

Publications

Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
A characterisation of elementary fibrations. Ann. Pure Appl. Log. 173 (6) (2022)
Francesco Dagnino, Giuseppe Rosolini
Doctrines, modalities and comonads. CoRR (2021)
Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
Elementary fibrations of enriched groupoids. Math. Struct. Comput. Sci. 31 (9) (2021)
Francesco Dagnino, Giuseppe Rosolini
Doctrines, modalities and comonads. Math. Struct. Comput. Sci. 31 (7) (2021)
Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies. Log. Methods Comput. Sci. 15 (2) (2019)
Giulia Frosoni, Giuseppe Rosolini, Alessio Santamaria
Frames and topological algebras for a double-power monad. J. Log. Anal. 11 (2019)
Maria Emilia Maietti, Giuseppe Rosolini
Unifying Exact Completions. Appl. Categorical Struct. 23 (1) (2015)
Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. Fundam. Informaticae 140 (3-4) (2015)
Anna Bucalo, Giuseppe Rosolini
Sobriety for equilogical spaces. Theor. Comput. Sci. 546 (2014)
Maria Emilia Maietti, Giuseppe Rosolini
Quotient Completion for the Foundation of Constructive Mathematics. Logica Universalis 7 (3) (2013)
Marco B. Caminati, Giuseppe Rosolini
Custom Automations in Mizar. J. Autom. Reason. 50 (2) (2013)
Maria Emilia Maietti, Giuseppe Rosolini
Unifying exact completions CoRR (2012)
Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini
Synthetic domain theory and models of linear Abadi & Plotkin logic. Ann. Pure Appl. Log. 155 (2) (2008)
Anna Bucalo, Giuseppe Rosolini
Completions, comonoids, and topological spaces. Ann. Pure Appl. Log. 137 (1-3) (2006)
Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini
A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. Electron. Notes Theor. Comput. Sci. 161 (2006)
Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. MFPS (2005)
Lars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini
Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. Theor. Comput. Sci. 316 (1) (2004)
John Power, Giuseppe Rosolini
Fixpoint operators for domain equations. Theor. Comput. Sci. 278 (1-2) (2002)
Edmund Robinson, Giuseppe Rosolini
An Abstract Look at Realizability. CSL (2001)
Marcelo P. Fiore, Giuseppe Rosolini
Domains in H. Theor. Comput. Sci. 264 (2) (2001)
Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott
Preface. Electron. Notes Theor. Comput. Sci. 23 (1) (1999)
Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic
Preface. CTCS (1999)
Giuseppe Rosolini, Thomas Streicher
Comparing models of higher type computation. Electron. Notes Theor. Comput. Sci. 23 (1) (1999)
John Power, Giuseppe Rosolini
A Modular Approach to Denotational Semantics. ICALP (1998)
Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott
Type Theory via Exact Categories. LICS (1998)
Marcelo P. Fiore, Giuseppe Rosolini
The category of cpos from a synthetic viewpoint. MFPS (1997)
Anna Bucalo, Giuseppe Rosolini
Lifting. Category Theory and Computer Science (1997)
Michael Makkai, Giuseppe Rosolini
Studying repleteness in the category of cpos. MFPS (1997)
Edmund P. Robinson, Giuseppe Rosolini
Reflexive Graphs and Parametric Polymorphism LICS (1994)
Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini
Functorial Parametricity LICS (1992)
Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
Extensional PERs Inf. Comput. 98 (2) (1992)
Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini
A Categorial View of Process Refinement. REX Workshop (1992)
Giuseppe Rosolini
An Exper Model for Quest. MFPS (1991)
Edmund Robinson, Giuseppe Rosolini
Polymorphism, Set Theory, and Call-by-Value LICS (1990)
Giuseppe Rosolini
About Modest Sets. Int. J. Found. Comput. Sci. 1 (3) (1990)
Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
Extensional PERs LICS (1990)
Edmund Robinson, Giuseppe Rosolini
Colimit Completions and the Effective Topos. J. Symb. Log. 55 (2) (1990)
J. M. E. Hyland, Edmund P. Robinson, Giuseppe Rosolini
Algebraic Types in PER Models. Mathematical Foundations of Programming Semantics (1989)
Edmund Robinson, Giuseppe Rosolini
Categories of Partial Maps Inf. Comput. 79 (2) (1988)
Fabio Alberto Schreiber, Giuseppe Rosolini
An Algebraic Description of Some State-Dependent Failure Mechanisms. Inf. Process. Lett. 29 (4) (1988)
Giuseppe Rosolini
Categories and Effective Computations. Category Theory and Computer Science (1987)