Giuseppe Rosolini

According to our database, Giuseppe Rosolini authored at least 38 papers between 1987 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

A characterisation of elementary fibrations.

Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini

Ann. Pure Appl. Log., 2022

2021

Elementary fibrations of enriched groupoids.

Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini

Math. Struct. Comput. Sci., 2021

Doctrines, modalities and comonads.

Francesco Dagnino, Giuseppe Rosolini

Math. Struct. Comput. Sci., 2021

2019

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies.

Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini

Log. Methods Comput. Sci., 2019

Frames and topological algebras for a double-power monad.

Giulia Frosoni, Giuseppe Rosolini, Alessio Santamaria

J. Log. Anal., 2019

2015

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.

Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini

Fundam. Informaticae, 2015

Unifying Exact Completions.

Maria Emilia Maietti, Giuseppe Rosolini

Appl. Categorical Struct., 2015

2014

Sobriety for equilogical spaces.

Anna Bucalo, Giuseppe Rosolini

Theor. Comput. Sci., 2014

2013

Quotient Completion for the Foundation of Constructive Mathematics.

Maria Emilia Maietti, Giuseppe Rosolini

Logica Universalis, 2013

Custom Automations in Mizar.

Marco B. Caminati, Giuseppe Rosolini

J. Autom. Reason., 2013

2006

Completions, comonoids, and topological spaces.

Anna Bucalo, Giuseppe Rosolini

Ann. Pure Appl. Log., 2006

2005

Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic.

Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Spaces as comonoids.

Anna Bucalo, Giuseppe Rosolini

Proceedings of the From sets and types to topology and analysis, 2005

2004

Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott.

Lars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini

Theor. Comput. Sci., 2004

A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda.

Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

2002

Fixpoint operators for domain equations.

John Power, Giuseppe Rosolini

Theor. Comput. Sci., 2002

2001

Domains in H.

Marcelo P. Fiore, Giuseppe Rosolini

Theor. Comput. Sci., 2001

An Abstract Look at Realizability.

Edmund Robinson, Giuseppe Rosolini

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

1999

Preface.

Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic

Proceedings of the Conference on Category Theory and Computer Science, 1999

Comparing models of higher type computation.

Giuseppe Rosolini, Thomas Streicher

Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999

Preface.

Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott

Proceedings of the Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30, 1999

1998

Type Theory via Exact Categories.

Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

A Modular Approach to Denotational Semantics.

John Power, Giuseppe Rosolini

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

1997

Studying repleteness in the category of cpos.

Michael Makkai, Giuseppe Rosolini

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

The category of cpos from a synthetic viewpoint.

Marcelo P. Fiore, Giuseppe Rosolini

Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

Lifting.

Anna Bucalo, Giuseppe Rosolini

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1994

Reflexive Graphs and Parametric Polymorphism

Edmund P. Robinson, Giuseppe Rosolini

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1992

Extensional PERs

Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott

Inf. Comput., June, 1992

A Categorial View of Process Refinement.

Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini

Proceedings of the Sematics: Foundations and Applications, 1992

Functorial Parametricity

Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1991

An Exper Model for Quest.

Giuseppe Rosolini

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

Colimit Completions and the Effective Topos.

Edmund Robinson, Giuseppe Rosolini

J. Symb. Log., 1990

About Modest Sets.

Giuseppe Rosolini

Int. J. Found. Comput. Sci., 1990

Polymorphism, Set Theory, and Call-by-Value

Edmund Robinson, Giuseppe Rosolini

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989

Algebraic Types in PER Models.

J. M. E. Hyland, Edmund P. Robinson, Giuseppe Rosolini

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

1988

Categories of Partial Maps

Edmund Robinson, Giuseppe Rosolini

Inf. Comput., November, 1988

An Algebraic Description of Some State-Dependent Failure Mechanisms.

Fabio Alberto Schreiber, Giuseppe Rosolini

Inf. Process. Lett., 1988

1987

Categories and Effective Computations.

Giuseppe Rosolini

Proceedings of the Category Theory and Computer Science, 1987