Edmund P. Robinson

Available identifiers

zbMath Open robinson.edmund-pMaRDI QIDQ280199

List of research outcomes

Publication	Date of Publication	Type
Algebraic types in PER models	2023-04-12	Paper
Bisimulation as a logical relation	2022-12-20	Paper
Deriving logical relations from interpretations of predicate logic	2022-04-29	Paper
Logical relations and parametricity -- a Reynolds programme for category theory and programming languages	2016-05-06	Paper
A proof-theoretic analysis of the classical propositional matrix method	2014-04-01	Paper
Bunched polymorphism	2008-12-10	Paper
Categorical proof theory of classical propositional calculus	2007-01-09	Paper
Computer Science Logic	2006-11-01	Paper
Proof Nets for Classical Logic	2004-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q4783307	2002-12-04	Paper
Variations on algebra: Monadicity and generalisations of equational theories	2002-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2753695	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4261097	1999-09-21	Paper
Premonoidal categories and notions of computation	1998-10-01	Paper
Parametricity as isomorphism	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q3138539	1993-11-18	Paper
A characterization of pie limits	1992-06-25	Paper
The Discrete Objects in the Effective Topos	1990-01-01	Paper
Colimit completions and the effective topos	1990-01-01	Paper
A note on inequivalence of realizability toposes	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3204459	1989-01-01	Paper
Categories of partial maps	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782747	1987-01-01	Paper
The geometric theory of \(p\)-adic fields	1987-01-01	Paper
The p-adic spectrum	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3312227	1983-01-01	Paper
Categorical Proof-Theoretic Semantics	N/A	Paper

Research outcomes over time

This page was built for person: Edmund P. Robinson