Giuseppe Rosolini

2008
30	EE	Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini: Synthetic domain theory and models of linear Abadi & Plotkin logic. Ann. Pure Appl. Logic 155(2): 115-133 (2008)
2006
29	EE	Anna Bucalo, Giuseppe Rosolini: Completions, comonoids, and topological spaces. Ann. Pure Appl. Logic 137(1-3): 104-125 (2006)
28	EE	Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini: Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. Electr. Notes Theor. Comput. Sci. 155: 219-245 (2006)
27	EE	Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini: A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. Electr. Notes Theor. Comput. Sci. 161: 43-57 (2006)
2004
26	EE	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): 1-2 (2004)
2002
25	EE	John Power, Giuseppe Rosolini: Fixpoint operators for domain equations. Theor. Comput. Sci. 278(1-2): 323-333 (2002)
2001
24	EE	Edmund Robinson, Giuseppe Rosolini: An Abstract Look at Realizability. CSL 2001: 173-187
23	EE	Marcelo P. Fiore, Giuseppe Rosolini: Domains in H. Theor. Comput. Sci. 264(2): 171-193 (2001)
1999
22	EE	Giuseppe Rosolini, Thomas Streicher: Comparing models of higher type computation. Electr. Notes Theor. Comput. Sci. 23(1): (1999)
21	EE	Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott: Preface. Electr. Notes Theor. Comput. Sci. 23(1): (1999)
20	EE	Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic: Preface. Electr. Notes Theor. Comput. Sci. 29: (1999)
1998
19	EE	John Power, Giuseppe Rosolini: A Modular Approach to Denotational Semantics. ICALP 1998: 351-362
18		Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott: Type Theory via Exact Categories. LICS 1998: 188-198
1997
17		Eugenio Moggi, Giuseppe Rosolini: Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings Springer 1997
16		Anna Bucalo, Giuseppe Rosolini: Lifting. Category Theory and Computer Science 1997: 281-292
15	EE	Michael Makkai, Giuseppe Rosolini: Studying repleteness in the category of cpos. Electr. Notes Theor. Comput. Sci. 6: (1997)
14	EE	Marcelo P. Fiore, Giuseppe Rosolini: The category of cpos from a synthetic viewpoint. Electr. Notes Theor. Comput. Sci. 6: (1997)
1994
13		E. P. Robinson, Giuseppe Rosolini: Reflexive Graphs and Parametric Polymorphism LICS 1994: 364-371
1992
12		Peter J. Freyd, E. P. Robinson, Giuseppe Rosolini: Functorial Parametricity LICS 1992: 444-452
11		Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini: A Categorial View of Process Refinement. REX Workshop 1992: 138-153
10		Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott: Extensional PERs Inf. Comput. 98(2): 211-227 (1992)
1991
9		Giuseppe Rosolini: An Exper Model for Quest. MFPS 1991: 436-445
1990
8		Edmund Robinson, Giuseppe Rosolini: Polymorphism, Set Theory, and Call-by-Value LICS 1990: 12-18
7		Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott: Extensional PERs LICS 1990: 346-354
6		Giuseppe Rosolini: About Modest Sets. Int. J. Found. Comput. Sci. 1(3): 341- (1990)
5		Edmund Robinson, Giuseppe Rosolini: Colimit Completions and the Effective Topos. J. Symb. Log. 55(2): 678-699 (1990)
1989
4		J. M. E. Hyland, E. P. Robinson, Giuseppe Rosolini: Algebraic Types in PER Models. Mathematical Foundations of Programming Semantics 1989: 333-350
1988
3		Edmund Robinson, Giuseppe Rosolini: Categories of Partial Maps Inf. Comput. 79(2): 95-130 (1988)
2		Fabio A. Schreiber, Giuseppe Rosolini: An Algebraic Description of Some State-Dependent Failure Mechanisms. Inf. Process. Lett. 29(4): 207-211 (1988)
1987
1		Giuseppe Rosolini: Categories and Effective Computations. Category Theory and Computer Science 1987: 1-11

Coauthor Index

1	Lars Birkedal	[18] [21] [26] [28] [30]
2	Anna Bucalo	[16] [29]
3	Aurelio Carboni	[18]
4	Pierpaolo Degano	[11]
5	Martín Hötzel Escardó	[26]
6	Marcelo P. Fiore	[14] [23]
7	Peter J. Freyd	[7] [10] [12]
8	Roberto Gorrieri	[11]
9	Martin Hofmann	[20]
10	Martin Hyland (J. M. E. Hyland)	[4] [27]
11	Achim Jung	[26]
12	Michael Makkai	[15]
13	Rasmus Ejlers Møgelberg	[28] [30]
14	Eugenio Moggi	[17]
15	P. Mulry	[7] [10]
16	Misao Nagayama	[27]
17	Jaap van Oosten	[21]
18	Dusko Pavlovic	[20]
19	John Power (A. John Power)	[19] [25] [27]
20	Edmund Robinson (E. P. Robinson)	[3] [4] [5] [8] [12] [13] [24]
21	Fabio A. Schreiber	[2]
22	Dana S. Scott	[7] [10] [18] [21]
23	Thomas Streicher	[22]

Colors in the list of coauthors