- E.P. Robinson

- E.P. Robinson

**Variations on Algebra: monadicity and generalisations of equational theories**

- E.P. Robinson and G. Rosolini

**An Abstract Look at Realizability**Computer Science Logic 2001

- John Power and Edmund Robinson

**Logical Relations, Data Abstraction and Structured Fibrations**

ACM PPDP'00: International Conference on Principles and Practice of Declarative Programming, September 2000

- John Power and Edmund Robinson
- John Power and Edmund Robinson
- John Power and Edmund Robinson
- Edmund Robinson
- Edmund Robinson
- Edmund Robinson and Giuseppe Rosolini
- Edmund Robinson

Computer Science Logic 2000

Electronic Notes in Theoretical Computer Science 20, 1999

Online

Mathematical Structures in Computer Science 7, 1997, 453-468

Proceedings of "Logic and Semantics For Programming"

Superceded by later work with Power.

Logic in Computer Science,1994,364-371

Theoretical Computer Science