E. P. Robinson
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
19 | EE | Matthew Collinson, David J. Pym, Edmund Robinson: Bunched polymorphism. Mathematical Structures in Computer Science 18(6): 1091-1132 (2008) |
2006 | ||
18 | EE | Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban: Categorical proof theory of classical propositional calculus. Theor. Comput. Sci. 364(2): 146-165 (2006) |
2005 | ||
17 | EE | Matthew Collinson, David J. Pym, Edmund Robinson: On Bunched Polymorphism. CSL 2005: 36-50 |
2003 | ||
16 | EE | Edmund Robinson: Proof Nets for Classical Logic. J. Log. Comput. 13(5): 777-797 (2003) |
2002 | ||
15 | EE | Edmund Robinson: Variations on Algebra: Monadicity and Generalisations of Equational Theories. Formal Asp. Comput. 13(3-5): 308-326 (2002) |
2001 | ||
14 | EE | Edmund Robinson, Giuseppe Rosolini: An Abstract Look at Realizability. CSL 2001: 173-187 |
2000 | ||
13 | EE | John Power, Edmund Robinson: Logical Relations and Data Abstraction. CSL 2000: 497-511 |
12 | EE | John Power, Edmund Robinson: Logical relations, data abstraction, and structured fibrations. PPDP 2000: 15-23 |
1999 | ||
11 | EE | John Power, Edmund Robinson: Modularity and Dyads. Electr. Notes Theor. Comput. Sci. 20: (1999) |
1997 | ||
10 | John Power, Edmund Robinson: Premonoidal Categories and Notions of Computation. Mathematical Structures in Computer Science 7(5): 453-468 (1997) | |
1994 | ||
9 | E. P. Robinson, Giuseppe Rosolini: Reflexive Graphs and Parametric Polymorphism LICS 1994: 364-371 | |
8 | Edmund Robinson: Parametricity as Isomorphism. Theor. Comput. Sci. 136(1): 163-181 (1994) | |
1992 | ||
7 | Peter J. Freyd, E. P. Robinson, Giuseppe Rosolini: Functorial Parametricity LICS 1992: 444-452 | |
1990 | ||
6 | Edmund Robinson, Giuseppe Rosolini: Polymorphism, Set Theory, and Call-by-Value LICS 1990: 12-18 | |
5 | Edmund Robinson, Giuseppe Rosolini: Colimit Completions and the Effective Topos. J. Symb. Log. 55(2): 678-699 (1990) | |
1989 | ||
4 | Edmund Robinson: How Complete is PER? LICS 1989: 106-111 | |
3 | J. M. E. Hyland, E. P. Robinson, Giuseppe Rosolini: Algebraic Types in PER Models. Mathematical Foundations of Programming Semantics 1989: 333-350 | |
1988 | ||
2 | Edmund Robinson, Giuseppe Rosolini: Categories of Partial Maps Inf. Comput. 79(2): 95-130 (1988) | |
1987 | ||
1 | Edmund Robinson: Logical Aspects of Denotational Semantics. Category Theory and Computer Science 1987: 238-253 |
1 | Gianluigi Bellin | [18] |
2 | Matthew Collinson | [17] [19] |
3 | Peter J. Freyd | [7] |
4 | Martin Hyland (J. M. E. Hyland) | [3] [18] |
5 | John Power (A. John Power) | [10] [11] [12] [13] |
6 | David J. Pym | [17] [19] |
7 | Giuseppe Rosolini | [2] [3] [5] [6] [7] [9] [14] |
8 | Christian Urban | [18] |