Categories and Effective Computations. - Giuseppe Rosolini (Category Theory and Computer Science, 1987)

An Algebraic Description of Some State-Dependent Failure Mechanisms. - Fabio Alberto Schreiber; Giuseppe Rosolini (Inf. Process. Lett., 1988)

Categories of Partial Maps - Edmund Robinson; Giuseppe Rosolini (Inf. Comput., 1988)

Algebraic Types in PER Models. - J. M. E. Hyland; Edmund P. Robinson; Giuseppe Rosolini (Mathematical Foundations of Programming Semantics, 1989)

Polymorphism, Set Theory, and Call-by-Value - Edmund Robinson; Giuseppe Rosolini (LICS, 1990)

About Modest Sets. - Giuseppe Rosolini (Int. J. Found. Comput. Sci., 1990)

Colimit Completions and the Effective Topos. - Edmund Robinson; Giuseppe Rosolini (J. Symb. Log., 1990)

An Exper Model for Quest. - Giuseppe Rosolini (MFPS, 1991)

Functorial Parametricity - Peter J. Freyd; Edmund P. Robinson; Giuseppe Rosolini (LICS, 1992)

A Categorial View of Process Refinement. - Pierpaolo Degano; Roberto Gorrieri; Giuseppe Rosolini (REX Workshop, 1992)

Extensional PERs - Peter J. Freyd; P. Mulry; Giuseppe Rosolini; Dana S. Scott (Inf. Comput., 1992)

Reflexive Graphs and Parametric Polymorphism - Edmund P. Robinson; Giuseppe Rosolini (LICS, 1994)

Lifting. - Anna Bucalo; Giuseppe Rosolini (Category Theory and Computer Science, 1997)

The category of cpos from a synthetic viewpoint. - Marcelo P. Fiore; Giuseppe Rosolini (MFPS, 1997)

Studying repleteness in the category of cpos. - Michael Makkai; Giuseppe Rosolini (MFPS, 1997)

A Modular Approach to Denotational Semantics. - John Power; Giuseppe Rosolini (ICALP, 1998)

Type Theory via Exact Categories. - Lars Birkedal; Aurelio Carboni; Giuseppe Rosolini; Dana S. Scott (LICS, 1998)

Preface. - Lars Birkedal; Jaap van Oosten; Giuseppe Rosolini; Dana S. Scott (Realizability Semantics and Applications@FLoC, 1999)

Comparing models of higher type computation. - Giuseppe Rosolini; Thomas Streicher (Realizability Semantics and Applications@FLoC, 1999)

Preface. - Martin Hofmann 001; Giuseppe Rosolini; Dusko Pavlovic (CTCS, 1999)

An Abstract Look at Realizability. - Edmund Robinson; Giuseppe Rosolini (CSL, 2001)

Domains in H. - Marcelo P. Fiore; Giuseppe Rosolini (Theor. Comput. Sci., 2001)

Fixpoint operators for domain equations. - John Power; Giuseppe Rosolini (Theor. Comput. Sci., 2002)

A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. - Martin Hyland; Misao Nagayama; John Power; Giuseppe Rosolini (MFCSIT, 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)

Spaces as comonoids. - Anna Bucalo; Giuseppe Rosolini (From sets and types to topology and analysis, 2005)

Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. - Rasmus Ejlers Møgelberg; Lars Birkedal; Giuseppe Rosolini (MFPS, 2005)

Completions, comonoids, and topological spaces. - Anna Bucalo; Giuseppe Rosolini (Ann. Pure Appl. Log., 2006)

Custom Automations in Mizar. - Marco B. Caminati; Giuseppe Rosolini (J. Autom. Reason., 2013)

Quotient Completion for the Foundation of Constructive Mathematics. - Maria Emilia Maietti; Giuseppe Rosolini (Logica Universalis, 2013)

Sobriety for equilogical spaces. - Anna Bucalo; Giuseppe Rosolini (Theor. Comput. Sci., 2014)

Unifying Exact Completions. - Maria Emilia Maietti; Giuseppe Rosolini (Appl. Categorical Struct., 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)

Frames and topological algebras for a double-power monad. - Giulia Frosoni; Giuseppe Rosolini; Alessio Santamaria (J. Log. Anal., 2019)

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies. - Maria Emilia Maietti; Fabio Pasquali; Giuseppe Rosolini (Log. Methods Comput. Sci., 2019)

Doctrines, modalities and comonads. - Francesco Dagnino; Giuseppe Rosolini (Math. Struct. Comput. Sci., 2021)

Elementary fibrations of enriched groupoids. - Jacopo Emmenegger; Fabio Pasquali; Giuseppe Rosolini (Math. Struct. Comput. Sci., 2021)

A characterisation of elementary fibrations. - Jacopo Emmenegger; Fabio Pasquali; Giuseppe Rosolini (Ann. Pure Appl. Log., 2022)