Edmund P. Robinson

Publication Activity (10 Years)

Years Active: 1989-2020
Publications (10 Years): 2

Top Topics

Predicate Logic

Logical Theories

Language Constructs

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Claudio Hermida, Uday S. Reddy, Edmund P. Robinson, Alessio Santamaria
Bisimulation as a Logical Relation. CoRR (2020)
Claudio Hermida, Uday S. Reddy, Edmund P. Robinson
Deriving Logical Relations from Interpretations of Predicate Logic. MFPS (2019)
Claudio Hermida, Uday S. Reddy, Edmund P. Robinson
Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages. Electron. Notes Theor. Comput. Sci. 303 (2014)
Edmund P. Robinson, Arunachalam Narayanan, L.-L. Gao
Effective heuristics for the dynamic demand joint replenishment problem. J. Oper. Res. Soc. 58 (6) (2007)
Edmund P. Robinson, Giuseppe Rosolini
Reflexive Graphs and Parametric Polymorphism LICS (1994)
Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini
Functorial Parametricity LICS (1992)
J. M. E. Hyland, Edmund P. Robinson, Giuseppe Rosolini
Algebraic Types in PER Models. Mathematical Foundations of Programming Semantics (1989)