The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giuseppe Rosolini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  29. Synthetic domain theory and models of linear Abadi & Plotkin logic. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.282secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002