The SCEAS System
| |||||||

## 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.032secs, Finished in 0.033secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |