| 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 |
