Skip to main content
Research
  1. Queen Mary University of London
  2. Research
  3. Publications

Publications: P Edmund Robinson

Back to Search
Pym D, Ritter E, Robinson E ( 2024 ) . Categorical Proof-theoretic Semantics . Studia Logica vol. 113 , ( 1 ) 125 - 162 .
Hermida C, Reddy U, Robinson E, Santamaria A ( 2022 ) . Bisimulation as a logical relation . Mathematical Structures in Computer Science vol. 32 , ( 4 ) 442 - 471 .
Lewis-Smith A, Oliva P, Robinson E ( 2020 ) . Kripke Semantics for Intuitionistic Łukasiewicz Logic . Studia Logica vol. 109 , ( 2 ) 313 - 339 .
Hermida C, Reddy US, Robinson EP ( 2019 ) . Deriving Logical Relations from Interpretations of Predicate Logic . Electronic Notes in Theoretical Computer Science vol. 347 , 241 - 259 .
Hyland JME, Robinson EP, Rosolini G ( 2016 ) . The Discrete Objects in the Effective Topos . Proceedings of the London Mathematical Society vol. s3-60 , ( 1 ) 1 - 36 .
Hermida C, Reddy US, Robinson EP ( 2014 ) . Logical Relations and Parametricity – A Reynolds Programme for Category Theory and Programming Languages . Electronic Notes in Theoretical Computer Science vol. 303 , 149 - 180 .
Pym D, Ritter E, Robinson E ( 2012 ) . A proof-theoretic analysis of the classical propositional matrix method . Journal of Logic and Computation vol. 24 , ( 1 ) 283 - 301 .
COLLINSON M, PYM D, ROBINSON E ( 2008 ) . Bunched polymorphism . Mathematical Structures in Computer Science vol. 18 , ( 6 ) 1091 - 1132 .
Power J, Robinson E ( 2008 ) . A characterization of pie limits . Mathematical Proceedings of the Cambridge Philosophical Society vol. 110 , ( 1 ) 33 - 47 .
Johnstone PT, Robinson EP ( 2008 ) . A note on inequivalence of realizability toposes . Mathematical Proceedings of the Cambridge Philosophical Society vol. 105 , ( 1 ) 1 - 3 .
Bellin G, Hyland M, Robinson E, Urban C ( 2006 ) . Categorical proof theory of classical propositional calculus . Theoretical Computer Science vol. 364 , ( 2 ) 146 - 165 .
Robinson E ( 1987 ) . Logical aspects of denotational semantics . 238 - 253 .
( 2005 ) . Computer Science Logic .
Collinson M, Pym D, Robinson E ( 2005 ) . On Bunched Polymorphism . Lecture Notes in Computer Science , Springer Berlin Heidelberg
Robinson E ( 2003 ) . Proof Nets for Classical Logic . Journal of Logic and Computation vol. 13 , ( 5 ) 777 - 797 .
Robinson E ( 2002 ) . Variations on Algebra: Monadicity and Generalisations of Equational Therories . Formal Aspects of Computing vol. 13 , ( 3-5 ) 308 - 326 .
Robinson E, Rosolini G ( 2001 ) . An Abstract Look at Realizability . 173 - 187 .
Power J, Robinson E ( 2000 ) . Logical relations, data abstraction, and structured fibrations . Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming . Conference: PPDP00: International Conference on Principles and Practice of Declarative Programming15 - 23 .
Power AJ, Robinson EP ( 2000 ) . Logical Relations and Data Abstraction . Proceedings of Computer Science Logic 2000 . vol. 1862 , 497-511 - 497-511 .
Power J, Robinson E ( 1999 ) . Modularity and Dyads . Electronic Notes in Theoretical Computer Science vol. 20 , 14pp - 14pp .
POWER J, ROBINSON E ( 1997 ) . Premonoidal categories and notions of computation . Mathematical Structures in Computer Science vol. 7 , ( 5 ) 453 - 468 .
Robinson EP ( 1996 ) . Logical Relations and Data Abstraction . Proceedings of Logic and Semantics For Programming . 56-65 - 56-65 .
Robinson E ( 1994 ) . Parametricity as isomorphism . Theoretical Computer Science vol. 136 , ( 1 ) 163 - 181 .
Robinson EP, Rosolini G ( 1994 ) . Reflexive graphs and parametric polymorphism . Proceedings Symposium on Logic in Computer Science . 364 - 371 .
Freyd PJ, Robinson EP, Rosolini G ( 1992 ) . Functional parametricity . Proceedings Symposium on Logic in Computer Science . 444 - 452 .
Freyd PJ, Robinson EP, Rosolini G ( 1992 ) . Dinaturality for free . Applications of Categories in Computer Science, Proceedings of the LMS Durham Symposium on Categories in Computer Science, 20-30 July 1991 . 107-118 - 107-118 .
Robinson E, Rosolini G ( 1990 ) . Polymorphism, set theory, and call-by-value . Proceedings Symposium on Logic in Computer Science . 12 - 18 .
Robinson EP, Rosolini G ( 1990 ) . Colimit completions and the effective topos . Journal of Symbolic Logic vol. 55 , Article 2 , 678-699 - 678-699 .
Robinson E ( 1989 ) . How complete is PER? . undefined . 106 - 111 .
Blevis E, Jenkins MA, Robinson EP ( 1989 ) . On Seeger’s Music Logic . Interface: Journal of New Music Research vol. 18 , 9-31 - 9-31 .
Robinson E, Rosolini G ( 1988 ) . Categories of partial maps . Information and Computation vol. 79 , ( 2 ) 95 - 130 .
Robinson EP ( 1987 ) . The geometric theory of p-adic fields . Journal of Algebra vol. 110 , 158-172 - 158-172 .
Robinson EP, Rosolini G ( 1987 ) . Two internal complete full subcategories of the effective topos . Abstracts of the American Mathematical Society vol. 8 , 464-465 - 464-465 .
Robinson EP ( 1986 ) . Powerdomains, modalities and the Vietoris monad . report no. 98 ,
Robinson EP ( 1986 ) . The p-adic spectrum . Journal of Pure and Applied Algebra vol. 40 , 281-296 - 281-296 .
Robinson EP ( 1983 ) . Stable theories of local rings . Category Theoretic Methods in Geometry . 257-280 - 257-280 .
Robinson EP ( 1982 ) . Recovering the Zariski spectrum from the étale . Abstracts of the Sussex Category Meeting .
Hyland JME, Robinson EP, Rosolini G . Algebraic types in PER models . 333 - 350 .
Back to Search