The following pages link to Edmund P. Robinson (Q280199):
Displaying 29 items.
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- (Q699930) (redirect page) (← links)
- Variations on algebra: Monadicity and generalisations of equational theories (Q699931) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- The p-adic spectrum (Q1071859) (← links)
- The geometric theory of \(p\)-adic fields (Q1091428) (← links)
- (Q1109870) (redirect page) (← links)
- Categories of partial maps (Q1109871) (← links)
- Parametricity as isomorphism (Q1349670) (← links)
- Deriving logical relations from interpretations of predicate logic (Q2133176) (← links)
- (Q2753695) (← links)
- (Q3138539) (← links)
- Colimit completions and the effective topos (Q3197988) (← links)
- (Q3204459) (← links)
- (Q3312227) (← links)
- The Discrete Objects in the Effective Topos (Q3481914) (← links)
- Bunched polymorphism (Q3545274) (← links)
- (Q3782747) (← links)
- A note on inequivalence of realizability toposes (Q3826731) (← links)
- A characterization of pie limits (Q3977014) (← links)
- (Q4261097) (← links)
- Premonoidal categories and notions of computation (Q4366773) (← links)
- Proof Nets for Classical Logic (Q4444939) (← links)
- (Q4783307) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Computer Science Logic (Q5394568) (← links)
- A proof-theoretic analysis of the classical propositional matrix method (Q5406130) (← links)
- Algebraic types in PER models (Q5887524) (← links)
- Categorical Proof-Theoretic Semantics (Q6508875) (← links)
