Prof Edmund Robinson

Research

Logic, Category Theory, Semantics

Publications

Publications of specific relevance to the Centre for Fundamental Computer Science

2024

Categorical Proof-theoretic Semantics
Pym D, Ritter E and Robinson E
Studia Logica, Springer Nature, 1-38.  

DOI 10.1007/s11225-024-10101-9

QMRO

03-05-2024

2022

Bisimulation as a logical relation
Robinson E, Hermida C, Reddy U and Sanatamaria A
Mathematical Structures in Computer Science, Cambridge University Press (Cup) Editors: Hasegawa M. 

DOI 10.1017/S0960129522000020

QMRO

12-04-2022

2020

Kripke Semantics for Intuitionistic Lukasiewicz Logic
Andrew L-S, Oliva P and Robinson E
Studia Logica: An International Journal For Symbolic Logic, Springer Verlag 

DOI 10.1007/s11225-020-09908-z

QMRO

21-04-2020

2019

Deriving Logical Relations from Interpretations of Predicate Logic
Hermida C, Reddy US and Robinson EP
Electronic Notes in Theoretical Computer Science, Elsevier vol. 347, 241-259.  

DOI 10.1016/j.entcs.2019.09.013

QMRO

01-11-2019

2014

Logical Relations and Parametricity – A Reynolds Programme for Category Theory and Programming Languages
Hermida C, Reddy US and Robinson EP
Electronic Notes in Theoretical Computer Science, Elsevier vol. 303, 149-180.  

DOI 10.1016/j.entcs.2014.02.008

QMRO

19-03-2014

2012

A Proof-theoretic Analysis of the Classical Propositional Matrix Method
ROBINSON EP, Pym DJ and Ritter E
Journal of Logic and Computation Editors: Avron A. 

DOI 10.1093/logcom/exs045

01-01-2012

2008

Bunched polymorphism
Collinson M, Pym D and Robinson E
Math Struct Comp Sci vol. 18 (6), 1091-1132.  

DOI 10.1017/S0960129508007159

01-12-2008

2006

Categorical proof theory of classical propositional calculus
Bellin G, Hyland M, Robinson E and Urban C
Theoretical Computer Science vol. 364 (2), 146-165.  

DOI 10.1016/j.tcs.2006.08.002

06-11-2006

2005

On bunched polyrnorphism
Collinson M, Pym D and Robinson E
COMPUTER SCIENCE LOGIC, PROCEEDINGS. vol. 3634, 36-50. Editors: Ong L. 

DOI 10.1007/11538363

01-01-2005

On Bunched Polymorphism
Collinson M, Pym D and Robinson E
In Computer Science Logic, Springer Nature 36-50.  

DOI 10.1007/11538363_5

01-01-2005

2003

Proof nets for classical logic
Robinson E
Journal of Logic and Computation vol. 13 (5), 777-797.  

DOI 10.1093/logcom/13.5.777

01-10-2003

2002

Variations on Algebra: Monadicity and Generalisations of Equational Theories
ROBINSON EP
Formal Aspects of Computing vol. 13 (3-5), 308-326.  

DOI 10.1007/s001650200014

01-07-2002

2001

An abstract look at realizability
ROBINSON EP and Rosolini G
Computer Science Logic. vol. 2142, 173-187.  

DOI 10.1007/3-540-44802-0_13

01-01-2001

2000

Logical Relations and Data Abstraction
Power AJ and Robinson EP
Proceedings of Computer Science Logic 2000. vol. 1862, 497-511-497-511. Editors: Clote P and Schwichtenberg H. 
01-01-2000

Logical Relations, Data Abstraction and Structured Fibrations
Power AJ and Robinson EP
Proceedings of the Second International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP’00)., 15-23-15-23. Editors: Gabrielli M and Pfenning F. 

DOI 10.1145/351268.351271

01-01-2000

1999

Modularity and Dyads
Power J and Robinson E
Electronic Notes in Theoretical Computer Science vol. 20, 14pp-14pp.  
01-01-1999

1997

Premonoidal categories and notions of computation
Power J and Robinson E
Mathematical Structures in Computer Science vol. 7, 453-468-453-468.  

DOI 10.1017/S0960129597002375

01-01-1997

1996

Logical Relations and Data Abstraction
Robinson EP
Proceedings of Logic and Semantics For Programming., 56-65-56-65. Editors: Paiva VD and Jung A. 
01-01-1996

1994

Reflexive Graphs and Parametric Polymorphism
Robinson EP and Rosolini G
Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science, July 4-7, 1994, Paris, France., 364-371-364-371. Editors: Abramsky S. 
01-01-1994

Parametricity as isomorphism
Robinson E
Theoretical Computer Science vol. 136, 163-181-163-181.  

DOI 10.1016/0304-3975(94)00126-4

01-01-1994

1992

Dinaturality for free
Freyd PJ, Robinson EP and Rosolini G
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. Editors: Fourman MP, Johnstone PT and Pitts AM. 
01-01-1992

Functorial Parametricity
Freyd PJ, Robinson EP and Rosolini G
Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, June 22-25, 1992, Santa Cruz, California., 444-452-444-452. Editors: Scedrov A. 
01-01-1992

1991

A characterization of pie limits
Power AJ and Robinson EP
Mathematical Proceedings of The Cambridge Philosophical Society vol. 110, 33-47-33-47.  

DOI 10.1017/S0305004100070092

01-01-1991

1990

Colimit completions and the effective topos
Robinson EP and Rosolini G
Journal of Symbolic Logic vol. 55, 678-699-678-699.  
01-06-1990

Polymorphism, set theory and call-by-value
Robinson EP and Rosolini G
Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, Pennsylvania., 12-18-12-18. Editors: Mitchell JC. 
01-01-1990

Algebraic types in PER models
Hyland JME, Robinson EP and Rosolini G
Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 442., 333-350-333-350. Editors: Main M, Melton A, Mislove M and Schmidt D. 

DOI 10.1007/BFb0040266

01-01-1990

The discrete objects in the effective topos
Hyland JME, Robinson EP and Rosolini G
Proceedings of The London Mathematical Society vol. 60, 1-36-1-36.  

DOI 10.1112/plms/s3-60.1.1

01-01-1990

1989

How complete is PER?
Robinson EP
Proceedings of the 4th Annual IEEE Symposium on Logic in Computer Science, June 5-8 1989, Asilomar, California., 106-111-106-111. Editors: Meyer A. 
01-01-1989

A note on inequivalence of realizability toposes
Johnstone PT and Robinson EP
Mathematical Proceedings of The Cambridge Philosophical Society vol. 105, 1-3-1-3.  

DOI 10.1017/s0305004100001304

01-01-1989

On Seeger’s Music Logic
Blevis E, Jenkins MA and Robinson EP
Interface: Journal of New Music Research vol. 18, 9-31-9-31.  
01-01-1989

Mathematical Proceedings of the Cambridge Philosophical Society
Johnstone PT and Robinson EP
Mathematical Proceedings of The Cambridge Philosophical Society vol. 105 (1), 1-3.  

DOI 10.1017/S0305004100001304

01-01-1989

1988

Categories of partial maps
Robinson EP and Rosolini G
Information and Computation vol. 79, 95-130-95-130.  

DOI 10.1016/0890-5401(88)90034-X

01-01-1988

1987

Logical aspects of denotational semantics
Robinson EP
Category Theory and Computer Science, Lecture Notes in Computer Science 283\/., 238-253-238-253. Editors: Pitt DH, Poigné A and Rydeheard DE. 

DOI 10.1007/3-540-18508-9_29

01-01-1987

The geometric theory of p-adic fields
Robinson EP
Journal of Algebra vol. 110, 158-172-158-172.  
01-01-1987

Two internal complete full subcategories of the effective topos
Robinson EP and Rosolini G
Abstracts of The American Mathematical Society vol. 8, 464-465-464-465.  
01-01-1987

1986

The p-adic spectrum
Robinson EP
Journal of Pure and Applied Algebra vol. 40, 281-296-281-296.  
01-01-1986

Powerdomains, modalities and the Vietoris monad
Robinson EP
 
01-01-1986

1983

Stable theories of local rings
Robinson EP
Category Theoretic Methods in Geometry., 257-280-257-280. Editors: Kock A. 
01-01-1983

1982

Recovering the Zariski spectrum from the étale
Robinson EP
Abstracts of the Sussex Category Meeting. Editors: Mulvey CJ. 
01-01-1982

Grants

Grants of specific relevance to the Centre for Fundamental Computer Science

OfS Data Science & AI competition
Edmund Robinson
£322,127 Office for Students
14-05-2020 - 13-02-2023

Interface reasoning for interacting systems (IRIS)
Edmund Robinson
£869,078 EPSRC Engineering and Physical Sciences Research Council
01-01-2018 - 31-12-2024