Edmund Robinson

According to our database, Edmund Robinson authored at least 26 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Categorical Proof-Theoretic Semantics.

David J. Pym, Eike Ritter, Edmund Robinson

CoRR, 2023

2022

Bisimulation as a logical relation.

Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria

Math. Struct. Comput. Sci., April, 2022

2021

Kripke Semantics for Intuitionistic Łukasiewicz Logic.

A. Lewis-Smith, Paulo Oliva, Edmund Robinson

Stud Logica, 2021

2019

Deriving Logical Relations from Interpretations of Predicate Logic.

Claudio Hermida, Uday S. Reddy, Edmund P. Robinson

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

2014

A proof-theoretic analysis of the classical propositional matrix method.

David J. Pym, Eike Ritter, Edmund Robinson

J. Log. Comput., 2014

Kohei Honda (1959-2012).

Edmund Robinson

Bull. EATCS, 2014

2013

Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages.

Claudio Hermida, Uday S. Reddy, Edmund P. Robinson

Proceedings of the Workshop on Algebra, Coalgebra and Topology, 2013

2008

Bunched polymorphism.

Matthew Collinson, David J. Pym, Edmund Robinson

Math. Struct. Comput. Sci., 2008

2007

Effective heuristics for the dynamic demand joint replenishment problem.

Edmund P. Robinson, Arunachalam Narayanan, L.-L. Gao

J. Oper. Res. Soc., 2007

2006

Categorical proof theory of classical propositional calculus.

Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban

Theor. Comput. Sci., 2006

2003

Proof Nets for Classical Logic.

Edmund Robinson

J. Log. Comput., 2003

2002

Variations on Algebra: Monadicity and Generalisations of Equational Theories.

Edmund Robinson

Formal Aspects Comput., 2002

2001

An Abstract Look at Realizability.

Edmund Robinson, Giuseppe Rosolini

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

Logical relations, data abstraction, and structured fibrations.

John Power, Edmund Robinson

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Logical Relations and Data Abstraction.

John Power, Edmund Robinson

Proceedings of the Computer Science Logic, 2000

1999

Modularity and Dyads.

John Power, Edmund Robinson

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

1997

Premonoidal Categories and Notions of Computation.

John Power, Edmund Robinson

Math. Struct. Comput. Sci., 1997

1994

Parametricity as Isomorphism.

Edmund Robinson

Theor. Comput. Sci., 1994

Reflexive Graphs and Parametric Polymorphism

Edmund P. Robinson, Giuseppe Rosolini

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1992

Functorial Parametricity

Peter J. Freyd, Edmund P. Robinson, Giuseppe Rosolini

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1990

Colimit Completions and the Effective Topos.

Edmund Robinson, Giuseppe Rosolini

J. Symb. Log., 1990

Polymorphism, Set Theory, and Call-by-Value

Edmund Robinson, Giuseppe Rosolini

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

1989

Algebraic Types in PER Models.

J. M. E. Hyland, Edmund P. Robinson, Giuseppe Rosolini

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

How Complete is PER?

Edmund Robinson

Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), 1989

1988

Categories of Partial Maps

Edmund Robinson, Giuseppe Rosolini

Inf. Comput., November, 1988

1987

Logical Aspects of Denotational Semantics.

Edmund Robinson

Proceedings of the Category Theory and Computer Science, 1987