Edmund Robinson

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 3

Top Topics

Default Reasoning

Theoretic Analysis

Top Venues

Math. Struct. Comput. Sci.

J. Log. Comput.

Publications

David J. Pym, Eike Ritter, Edmund Robinson
Categorical Proof-Theoretic Semantics. CoRR (2023)
Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria
Bisimulation as a logical relation. Math. Struct. Comput. Sci. 32 (4) (2022)
A. Lewis-Smith, P. Oliva, Edmund Robinson
Kripke Semantics for Intuitionistic Łukasiewicz Logic. Stud Logica 109 (2) (2021)
Edmund Robinson
Kohei Honda (1959-2012). Bull. EATCS 112 (2014)
David J. Pym, Eike Ritter, Edmund Robinson
A proof-theoretic analysis of the classical propositional matrix method. J. Log. Comput. 24 (1) (2014)
Matthew Collinson, David J. Pym, Edmund Robinson
Bunched polymorphism. Math. Struct. Comput. Sci. 18 (6) (2008)
Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban
Categorical proof theory of classical propositional calculus. Theor. Comput. Sci. 364 (2) (2006)
Matthew Collinson, David J. Pym, Edmund Robinson
On Bunched Polymorphism. CSL (2005)
Edmund Robinson
Proof Nets for Classical Logic. J. Log. Comput. 13 (5) (2003)
Edmund Robinson
Variations on Algebra: Monadicity and Generalisations of Equational Theories. Formal Aspects Comput. 13 (3-5) (2002)
Edmund Robinson, Giuseppe Rosolini
An Abstract Look at Realizability. CSL (2001)
John Power, Edmund Robinson
Logical relations, data abstraction, and structured fibrations. PPDP (2000)
John Power, Edmund Robinson
Logical Relations and Data Abstraction. CSL (2000)
John Power, Edmund Robinson
Modularity and Dyads. MFPS (1999)
John Power, Edmund Robinson
Premonoidal Categories and Notions of Computation. Math. Struct. Comput. Sci. 7 (5) (1997)
Edmund Robinson
Parametricity as Isomorphism. Theor. Comput. Sci. 136 (1) (1994)
Edmund Robinson, Giuseppe Rosolini
Polymorphism, Set Theory, and Call-by-Value LICS (1990)
Edmund Robinson, Giuseppe Rosolini
Colimit Completions and the Effective Topos. J. Symb. Log. 55 (2) (1990)
Edmund Robinson
How Complete is PER? LICS (1989)
Edmund Robinson, Giuseppe Rosolini
Categories of Partial Maps Inf. Comput. 79 (2) (1988)
Edmund Robinson
Logical Aspects of Denotational Semantics. Category Theory and Computer Science (1987)