Giuseppe Rosolini - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

2022

A characterisation of elementary fibrationsJacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini. APAL, 173(6):103103, 2022. [doi]

2021

Doctrines, modalities and comonadsFrancesco Dagnino, Giuseppe Rosolini. mscs, 31(7):769-798, 2021. [doi]

Elementary fibrations of enriched groupoidsJacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini. mscs, 31(9):958-978, 2021. [doi]

2019

Frames and topological algebras for a double-power monadGiulia Frosoni, Giuseppe Rosolini, Alessio Santamaria. jla, 11, 2019. [doi]

Elementary Quotient Completions, Church's Thesis, and Partioned AssembliesMaria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini. lmcs, 15(2), 2019. [doi]

2015

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic AgentPaolo Gentilini, Maurizio Martelli, Giuseppe Rosolini. FUIN, 140(3-4):357-372, 2015. [doi]

Unifying Exact CompletionsMaria Emilia Maietti, Giuseppe Rosolini. acs, 23(1):43-52, 2015. [doi]

2014

Sobriety for equilogical spacesAnna Bucalo, Giuseppe Rosolini. TCS, 546:93-98, 2014. [doi]

2013

Custom Automations in MizarMarco B. Caminati, Giuseppe Rosolini. JAR, 50(2):147-160, 2013. [doi]

Quotient Completion for the Foundation of Constructive MathematicsMaria Emilia Maietti, Giuseppe Rosolini. lu, 7(3):371-402, 2013. [doi]

2008

Synthetic domain theory and models of linear Abadi & Plotkin logicRasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini. APAL, 155(2):115-133, 2008. [doi]

2006

Completions, comonoids, and topological spacesAnna Bucalo, Giuseppe Rosolini. APAL, 137(1-3):104-125, 2006. [doi]

A Category Theoretic Formulation for Engeler-style Models of the Untyped lambdaMartin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini. ENTCS, 161:43-57, 2006. [doi]

Synthetic Domain Theory and Models of Linear Abadi & Plotkin LogicRasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini. ENTCS, 155:219-245, 2006. [doi]

2005

Spaces as comonoidsAnna Bucalo, Giuseppe Rosolini. In Laura Crosilla, Peter M. Schuster, editors, From sets and types to topology and analysis - Towards practicable foundations for constructive mathematics. Volume 48 of Oxford logic guides, Oxford University Press, 2005.

2004

Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. ScottLars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini. TCS, 316(1):1-2, 2004. [doi]

2002

Fixpoint operators for domain equationsJohn Power, Giuseppe Rosolini. TCS, 278(1-2):323-333, 2002. [doi]

2001

Domains in HMarcelo P. Fiore, Giuseppe Rosolini. TCS, 264(2):171-193, 2001. [doi]

An Abstract Look at RealizabilityEdmund Robinson, Giuseppe Rosolini. csl 2001: 173-187 [doi]

1999

PrefaceLars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott. ENTCS, 23(1):189-190, 1999. [doi]

PrefaceMartin Hofmann, Giuseppe Rosolini, Dusko Pavlovic. TCS, 29:1, 1999. [doi]

Comparing models of higher type computationGiuseppe Rosolini, Thomas Streicher. ENTCS, 23(1):159-165, 1999. [doi]

1998

Type Theory via Exact CategoriesLars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott. lics 1998: 188-198

A Modular Approach to Denotational SemanticsJohn Power, Giuseppe Rosolini. icalp 1998: 351-362 [doi]

1997

LiftingAnna Bucalo, Giuseppe Rosolini. ctcs 1997: 281-292

The category of cpos from a synthetic viewpointMarcelo P. Fiore, Giuseppe Rosolini. ENTCS, 6:133-150, 1997. [doi]

Studying repleteness in the category of cposMichael Makkai, Giuseppe Rosolini. ENTCS, 6:249-254, 1997. [doi]

1994

Reflexive Graphs and Parametric PolymorphismE. P. Robinson, Giuseppe Rosolini. lics 1994: 364-371

1992

A Categorial View of Process RefinementPierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini. rex 1993: 138-153

Functorial ParametricityPeter J. Freyd, E. P. Robinson, Giuseppe Rosolini. lics 1992: 444-452

Extensional PERsPeter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott. iandc, 98(2):211-227, June 1992.

1991

An Exper Model for QuestGiuseppe Rosolini. mfps 1992: 436-445

1990

Extensional PERsPeter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott. lics 1990: 346-354

Polymorphism, Set Theory, and Call-by-ValueEdmund Robinson, Giuseppe Rosolini. lics 1990: 12-18

Colimit Completions and the Effective ToposEdmund Robinson, Giuseppe Rosolini. JSYML, 55(2):678-699, 1990.

About Modest SetsGiuseppe Rosolini. ijfcs, 1(3):341, 1990.

1989

Algebraic Types in PER ModelsJ. M. E. Hyland, E. P. Robinson, Giuseppe Rosolini. mfps 1990: 333-350

1988

Categories of Partial MapsEdmund Robinson, Giuseppe Rosolini. iandc, 79(2):95-130, November 1988.

An Algebraic Description of Some State-Dependent Failure MechanismsFabio A. Schreiber, Giuseppe Rosolini. ipl, 29(4):207-211, 1988.

1987

Categories and Effective ComputationsGiuseppe Rosolini. ctcs 1987: 1-11

Sign in or sign up to see more results.

runs on WebDSL

翻译：