The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Edmund Robinson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Matthew Collinson, David J. Pym, Edmund Robinson
    On Bunched Polymorphism. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:36-50 [Conf]
  2. John Power, Edmund Robinson
    Logical Relations and Data Abstraction. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:497-511 [Conf]
  3. Edmund Robinson, Giuseppe Rosolini
    An Abstract Look at Realizability. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:173-187 [Conf]
  4. Edmund Robinson
    Logical Aspects of Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1987, pp:238-253 [Conf]
  5. Edmund Robinson
    How Complete is PER? [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:106-111 [Conf]
  6. Edmund Robinson, Giuseppe Rosolini
    Polymorphism, Set Theory, and Call-by-Value [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:12-18 [Conf]
  7. John Power, Edmund Robinson
    Logical relations, data abstraction, and structured fibrations. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:15-23 [Conf]
  8. John Power, Edmund Robinson
    Modularity and Dyads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  9. Edmund Robinson
    Variations on Algebra: Monadicity and Generalisations of Equational Theories. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2002, v:13, n:3-5, pp:308-326 [Journal]
  10. Edmund Robinson, Giuseppe Rosolini
    Categories of Partial Maps [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1988, v:79, n:2, pp:95-130 [Journal]
  11. 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]
  12. Edmund Robinson
    Proof Nets for Classical Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:5, pp:777-797 [Journal]
  13. John Power, Edmund Robinson
    Premonoidal Categories and Notions of Computation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:453-468 [Journal]
  14. Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban
    Categorical proof theory of classical propositional calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:364, n:2, pp:146-165 [Journal]
  15. Edmund Robinson
    Parametricity as Isomorphism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:136, n:1, pp:163-181 [Journal]

Search in 0.002secs, Finished in 0.003secs
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