Prof Edmund Robinson

Professor of Computer Science

School of Electronic Engineering and Computer Science
Queen Mary University of London

e.p.robinson@qmul.ac.uk

www.eecs.qmul.ac.uk/people/profiles/robinsonedmund.html

Centre for Fundamentals of AI and Computational Theory

Research
Publications
Grants
Research Group
News

Research

Logic, Category Theory, Semantics

Publications

2026

Day algebras
Robinson E Wrigley J
Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 36

DOI 10.1017/s096012952510039x

QMRO

01-01-2026

2024

Categorical Proof-theoretic Semantics
Pym D Ritter E Robinson E
Studia Logica, Springer Nature vol. 113 (1), 125-162.

DOI 10.1007/s11225-024-10101-9

QMRO

03-05-2024

Categorical Proof-Theoretic Semantics
Pym D Ritter E Robinson E
In Arxiv

DOI 10.48550/arxiv.2302.09031

01-02-2024

2022

Bisimulation as a logical relation
Hermida C Reddy U Robinson E Santamaria A
Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 32 (4), 442-471.

DOI 10.1017/s0960129522000020

QMRO

01-04-2022

Bisimulation as a Logical Relation
Hermida C Reddy U Robinson E Santamaria A
In Arxiv

DOI 10.48550/arxiv.2003.13542

11-03-2022

2020

Kripke Semantics for Intuitionistic Łukasiewicz Logic
Lewis-Smith A Oliva P Robinson E
Studia Logica, Springer Nature vol. 109 (2), 313-339.

DOI 10.1007/s11225-020-09908-z

QMRO

21-04-2020

2019

Deriving Logical Relations from Interpretations of Predicate Logic
Hermida C Reddy US 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 Robinson EP
Electronic Notes in Theoretical Computer Science, Elsevier vol. 303, 149-180.

DOI 10.1016/j.entcs.2014.02.008

QMRO

01-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

Prof Edmund Robinson

Research

Publications

2026

2024

2022

2020

2019

2014

2012

2008

2006

2005

2003

2002

2001

2000

1999

1997

1996

1994

1992

1991

1990

1989

1988

1987

1986

1983

1982

Grants

Research Group

PhD Students

News

April 2026

Flip the Script: supporting better university progression