Logical Aspects of Denotational Semantics. - Edmund Robinson (Category Theory and Computer Science, 1987)

Categories of Partial Maps - Edmund Robinson; Giuseppe Rosolini (Inf. Comput., 1988)

How Complete is PER? - Edmund Robinson (LICS, 1989)

Algebraic Types in PER Models. - J. M. E. Hyland; Edmund P. Robinson; Giuseppe Rosolini (Mathematical Foundations of Programming Semantics, 1989)

Polymorphism, Set Theory, and Call-by-Value - Edmund Robinson; Giuseppe Rosolini (LICS, 1990)

Colimit Completions and the Effective Topos. - Edmund Robinson; Giuseppe Rosolini (J. Symb. Log., 1990)

Functorial Parametricity - Peter J. Freyd; Edmund P. Robinson; Giuseppe Rosolini (LICS, 1992)

Reflexive Graphs and Parametric Polymorphism - Edmund P. Robinson; Giuseppe Rosolini (LICS, 1994)

Parametricity as Isomorphism. - Edmund Robinson (Theor. Comput. Sci., 1994)

Premonoidal Categories and Notions of Computation. - John Power; Edmund Robinson (Math. Struct. Comput. Sci., 1997)

Modularity and Dyads. - John Power; Edmund Robinson (MFPS, 1999)

Logical Relations and Data Abstraction. - John Power; Edmund Robinson (CSL, 2000)

Logical relations, data abstraction, and structured fibrations. - John Power; Edmund Robinson (PPDP, 2000)

An Abstract Look at Realizability. - Edmund Robinson; Giuseppe Rosolini (CSL, 2001)

Variations on Algebra: Monadicity and Generalisations of Equational Theories. - Edmund Robinson (Formal Aspects Comput., 2002)

Proof Nets for Classical Logic. - Edmund Robinson (J. Log. Comput., 2003)

Categorical proof theory of classical propositional calculus. - Gianluigi Bellin; Martin Hyland; Edmund Robinson; Christian Urban (Theor. Comput. Sci., 2006)

Bunched polymorphism. - Matthew Collinson; David J. Pym; Edmund Robinson (Math. Struct. Comput. Sci., 2008)

Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages. - Claudio Hermida; Uday S. Reddy; Edmund P. Robinson (WACT, 2013)

Kohei Honda (1959-2012). - Edmund Robinson (Bull. EATCS, 2014)

A proof-theoretic analysis of the classical propositional matrix method. - David J. Pym; Eike Ritter; Edmund Robinson (J. Log. Comput., 2014)

Deriving Logical Relations from Interpretations of Predicate Logic. - Claudio Hermida; Uday S. Reddy; Edmund P. Robinson (MFPS, 2019)

Kripke Semantics for Intuitionistic Łukasiewicz Logic. - A. Lewis-Smith; Paulo Oliva; Edmund Robinson (Stud Logica, 2021)

Bisimulation as a logical relation. - Claudio Hermida; Uday S. Reddy; Edmund Robinson; Alessio Santamaria (Math. Struct. Comput. Sci., 2022)

Categorical Proof-theoretic Semantics. - David J. Pym; Eike Ritter; Edmund Robinson (Stud Logica, 2025)