Edmund Robinson

E. P. Robinson

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

Coauthor Index

1	Gianluigi Bellin	[18]
2	Matthew Collinson	[17]
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]
7	Giuseppe Rosolini	[2] [3] [5] [6] [7] [9] [14]
8	Christian Urban	[18]

Colors in the list of coauthors