|
Search the dblp DataBase
Edmund Robinson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Matthew Collinson, David J. Pym, Edmund Robinson
On Bunched Polymorphism. [Citation Graph (0, 0)][DBLP] CSL, 2005, pp:36-50 [Conf]
- John Power, Edmund Robinson
Logical Relations and Data Abstraction. [Citation Graph (0, 0)][DBLP] CSL, 2000, pp:497-511 [Conf]
- Edmund Robinson, Giuseppe Rosolini
An Abstract Look at Realizability. [Citation Graph (0, 0)][DBLP] CSL, 2001, pp:173-187 [Conf]
- Edmund Robinson
Logical Aspects of Denotational Semantics. [Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1987, pp:238-253 [Conf]
- Edmund Robinson
How Complete is PER? [Citation Graph (0, 0)][DBLP] LICS, 1989, pp:106-111 [Conf]
- Edmund Robinson, Giuseppe Rosolini
Polymorphism, Set Theory, and Call-by-Value [Citation Graph (0, 0)][DBLP] LICS, 1990, pp:12-18 [Conf]
- John Power, Edmund Robinson
Logical relations, data abstraction, and structured fibrations. [Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:15-23 [Conf]
- John Power, Edmund Robinson
Modularity and Dyads. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
- 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]
- Edmund Robinson, Giuseppe Rosolini
Categories of Partial Maps [Citation Graph (0, 0)][DBLP] Inf. Comput., 1988, v:79, n:2, pp:95-130 [Journal]
- 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]
- Edmund Robinson
Proof Nets for Classical Logic. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2003, v:13, n:5, pp:777-797 [Journal]
- 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]
- 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]
- 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.002secs
|