Giuseppe Rosolini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
4
Active years
1989–2001
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CSL | An Abstract Look at Realizability. | Edmund Robinson, Giuseppe Rosolini |
| 1998 | ICALP | A Modular Approach to Denotational Semantics. | John Power, Giuseppe Rosolini |
| 1998 | LICS | Type Theory via Exact Categories. | Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott |
| 1994 | LICS | Reflexive Graphs and Parametric Polymorphism | Edmund P. Robinson, Giuseppe Rosolini |
| 1992 | LICS | Functorial Parametricity | Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini |
| 1991 | MFPS | An Exper Model for Quest. | Giuseppe Rosolini |
| 1990 | LICS | Extensional PERs | Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana S. Scott |
| 1990 | LICS | Polymorphism, Set Theory, and Call-by-Value | Edmund Robinson, Giuseppe Rosolini |
| 1989 | MFPS | Algebraic Types in PER Models. | J. M. E. Hyland, Edmund P. Robinson, Giuseppe Rosolini |