Prof Edmund Robinson

Research

Logic, Category Theory, Semantics

Publications

Publications of specific relevance to the Centre for Fundamentals of AI and Computational Theory

2022

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

DOI 10.1017/S0960129522000020

QMRO

12-04-2022

2020

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

DOI 10.1007/s11225-020-09908-z

QMRO

21-04-2020

2014

Logical Relations and Parametricity – A Reynolds Programme for Category Theory and Programming Languages
Hermida C Reddy US 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 Ritter E Avron A
Journal of Logic and Computation 

DOI 10.1093/logcom/exs045

01-01-2012

2008

Bunched polymorphism
Collinson M Pym D 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 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 Robinson E Ong L
COMPUTER SCIENCE LOGIC, PROCEEDINGS. vol. 3634, 36-50.  

DOI 10.1007/11538363

01-01-2005

On Bunched Polymorphism
Collinson M Pym D 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 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 Robinson EP Clote P Schwichtenberg H
Proceedings of Computer Science Logic 2000. vol. 1862, 497-511-497-511.  
01-01-2000

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

DOI 10.1145/351268.351271

01-01-2000

1999

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

1997

Premonoidal categories and notions of computation
Power J 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 Paiva VD Jung A
Proceedings of Logic and Semantics For Programming., 56-65-56-65.  
01-01-1996

1994

Reflexive Graphs and Parametric Polymorphism
Robinson EP Rosolini G Abramsky S
Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science, July 4-7, 1994, Paris, France., 364-371-364-371.  
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 Rosolini G Fourman MP Johnstone PT Pitts AM
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.  
01-01-1992

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

1991

A characterization of pie limits
Power AJ 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 Rosolini G
Journal of Symbolic Logic vol. 55, 678-699-678-699.  
01-06-1990

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

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

DOI 10.1007/BFb0040266

01-01-1990

The discrete objects in the effective topos
Hyland JME Robinson EP 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 Meyer A
Proceedings of the 4th Annual IEEE Symposium on Logic in Computer Science, June 5-8 1989, Asilomar, California., 106-111-106-111.  
01-01-1989

A note on inequivalence of realizability toposes
Johnstone PT 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 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 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 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 Pitt DH Poigné A Rydeheard DE
Category Theory and Computer Science, Lecture Notes in Computer Science 283\/., 238-253-238-253.  

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 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 Kock A
Category Theoretic Methods in Geometry., 257-280-257-280.  
01-01-1983

1982

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

Deriving Logical Relations from Interpretations of Predicate Logic
Robinson E Hermida C Reddy U
Electronic Notes in Theoretical Computer Science, Elsevier 

DOI 10.1016/j.entcs.2019.09.013

QMRO

Categorical Proof-Theoretic Semantics
Robinson E Pym D Ritter E
Studia Logica, Springer 

DOI 10.1007/s11225-024-10101-9

QMRO

Grants

Grants of specific relevance to the Centre for Fundamentals of AI and Computational Theory

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 Engineering and Physical Sciences Research Council
01-01-2018 - 31-12-2024

Research Group

PhD Students

• Zahir Nikraftar
  Enhancing Climate Forecasting Using Probabilistic Machine Learning
• Niki Omidvari
  Theory

News