Giuseppe Rosolini

45 papers A* 6B 6Journal 22Unranked 7

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	A characterisation of elementary fibrations. Ann. Pure Appl. Log. Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
2021	J	`jnl`	Doctrines, modalities and comonads. CoRR Francesco Dagnino, Giuseppe Rosolini
2021	J	`jnl`	Doctrines, modalities and comonads. Math. Struct. Comput. Sci. Francesco Dagnino, Giuseppe Rosolini
2021	J	`jnl`	Elementary fibrations of enriched groupoids. Math. Struct. Comput. Sci. Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini
2019	J	`jnl`	Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies. Log. Methods Comput. Sci. Maria Emilia Maietti, Fabio Pasquali, Giuseppe Rosolini
2019	J	`jnl`	Frames and topological algebras for a double-power monad. J. Log. Anal. Giulia Frosoni, Giuseppe Rosolini, Alessio Santamaria
2015	J	`jnl`	Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. Fundam. Informaticae Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini
2015	J	`jnl`	Unifying Exact Completions. Appl. Categorical Struct. Maria Emilia Maietti, Giuseppe Rosolini
2014	J	`jnl`	Sobriety for equilogical spaces. Theor. Comput. Sci. Anna Bucalo, Giuseppe Rosolini
2013	J	`jnl`	Custom Automations in Mizar. J. Autom. Reason. Marco B. Caminati, Giuseppe Rosolini
2013	J	`jnl`	Quotient Completion for the Foundation of Constructive Mathematics. Logica Universalis Maria Emilia Maietti, Giuseppe Rosolini
2012	J	`jnl`	Unifying exact completions CoRR Maria Emilia Maietti, Giuseppe Rosolini
2008	J	`jnl`	Synthetic domain theory and models of linear Abadi & Plotkin logic. Ann. Pure Appl. Log. Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini
2006	J	`jnl`	Completions, comonoids, and topological spaces. Ann. Pure Appl. Log. Anna Bucalo, Giuseppe Rosolini
2005	—	`ch.`	Spaces as comonoids. From sets and types to topology and analysis Anna Bucalo, Giuseppe Rosolini
2005	B	`conf`	Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. MFPS Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini
2004	—	`conf`	A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. MFCSIT Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini
2004	J	`jnl`	Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. Theor. Comput. Sci. Lars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini
2002	J	`jnl`	Fixpoint operators for domain equations. Theor. Comput. Sci. John Power, Giuseppe Rosolini
2001	B	`conf`	An Abstract Look at Realizability. CSL Edmund Robinson, Giuseppe Rosolini
2001	J	`jnl`	Domains in H. Theor. Comput. Sci. Marcelo P. Fiore, Giuseppe Rosolini
1999	—	`conf`	Comparing models of higher type computation. Realizability Semantics and Applications@FLoC Giuseppe Rosolini, Thomas Streicher
1999	—	`ed.`	Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999 CTCS Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic
1999	—	`conf`	Preface. Realizability Semantics and Applications@FLoC Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott
1999	—	`conf`	Preface. CTCS Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic
1999	—	`ed.`	Tutorial Workshop on Realizability Semantics and Applications, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, June 30 - July 1, 1999 Realizability Semantics and Applications@FLoC Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott
1998	A*	`conf`	A Modular Approach to Denotational Semantics. ICALP John Power, Giuseppe Rosolini
1998	A*	`conf`	Type Theory via Exact Categories. LICS Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott
1997	—	`ed.`	Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings CTCS Eugenio Moggi, Giuseppe Rosolini
1997	—	`conf`	Lifting. Category Theory and Computer Science Anna Bucalo, Giuseppe Rosolini
1997	B	`conf`	Studying repleteness in the category of cpos. MFPS Michael Makkai, Giuseppe Rosolini
1997	B	`conf`	The category of cpos from a synthetic viewpoint. MFPS Marcelo P. Fiore, Giuseppe Rosolini
1994	A*	`conf`	Reflexive Graphs and Parametric Polymorphism LICS Edmund P. Robinson, Giuseppe Rosolini
1992	—	`conf`	A Categorial View of Process Refinement. REX Workshop Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini
1992	J	`jnl`	Extensional PERs Inf. Comput. Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
1992	A*	`conf`	Functorial Parametricity LICS Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini
1991	B	`conf`	An Exper Model for Quest. MFPS Giuseppe Rosolini
1990	J	`jnl`	About Modest Sets. Int. J. Found. Comput. Sci. Giuseppe Rosolini
1990	J	`jnl`	Colimit Completions and the Effective Topos. J. Symb. Log. Edmund Robinson, Giuseppe Rosolini
1990	A*	`conf`	Extensional PERs LICS Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott
1990	A*	`conf`	Polymorphism, Set Theory, and Call-by-Value LICS Edmund Robinson, Giuseppe Rosolini
1989	B	`conf`	Algebraic Types in PER Models. Mathematical Foundations of Programming Semantics J. M. E. Hyland, Edmund P. Robinson, Giuseppe Rosolini
1988	J	`jnl`	An Algebraic Description of Some State-Dependent Failure Mechanisms. Inf. Process. Lett. Fabio Alberto Schreiber, Giuseppe Rosolini
1988	J	`jnl`	Categories of Partial Maps Inf. Comput. Edmund Robinson, Giuseppe Rosolini
1987	—	`conf`	Categories and Effective Computations. Category Theory and Computer Science Giuseppe Rosolini