Edmund Robinson

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