Edmund Robinson
: Papers
BibTeX
Drafts etc
E.P. Robinson
Some notes on equalities not present in the $\lambda\mu$-calculus
Publications
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
Logical Relations and Data Abstraction
Computer Science Logic 2000
John Power and Edmund Robinson
Modularity and Dyads
Electronic Notes in Theoretical Computer Science 20, 1999
Online
John Power and Edmund Robinson
Premonoidal categories and notions of computation
Mathematical Structures in Computer Science 7, 1997, 453-468
Edmund Robinson
Logical Relations and Data Abstraction
Proceedings of "Logic and Semantics For Programming"
Superceded by later work with Power.
Edmund Robinson
Variations on Algebra: monadicity and generalisations of equational theories
Edmund Robinson and Giuseppe Rosolini
Reflexive Graphs and Parametric Polymorphism
Logic in Computer Science,1994,364-371
Edmund Robinson
Parametricity as Isomorphism
Theoretical Computer Science