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
Colimit completions and the effective topos	1990-01-01	Paper
The Discrete Objects in the Effective Topos	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3204459	1989-01-01	Paper
A note on inequivalence of realizability toposes	1989-01-01	Paper
Categories of partial maps	1988-01-01	Paper
The geometric theory of \(p\)-adic fields	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782747	1987-01-01	Paper
The p-adic spectrum	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3312227	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Edmund P. Robinson