Searching for authors named "Edmund Robinson" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Variations on Algebra: monadicity and generalisations of equational theories
- …Variations on Algebra: monadicity and generalisations of equational theories Edmund Robinson…
- Cited by 23 (0 self) – Add To MetaCart
-
Parametricity as Isomorphism
- …UNIVERSITY OF SUSSEX COMPUTER SCIENCE Parametricity as Isomorphism Edmund Robinson Report 5…
- Cited by 1 (1 self) – Add To MetaCart
-
Logical Relations, Data Abstraction, and Structured Fibrations
- …@(email omitted); Edmund Robinson Department of Computer Science Queen Mary and Westfield College Mile End Road, London, E…
- Add To MetaCart
-
Logical Relations and Data Abstraction
- …Logical Relations and Data Abstraction ? John Power ??1 and Edmund Robinson ? ? ?2 1…
- Cited by 5 (1 self) – Add To MetaCart
-
An abstract look at realizability
- … An Abstract Look at Realizability Edmund Robinson?1 and Giuseppe Rosolini2 1 Queen Mary…
- Cited by 1 (0 self) – Add To MetaCart
-
Premonoidal Categories and Notions of Computation
- …. This paper was written with the aid of an EPSRC Advanced Research Fellowship. John Power and Edmund Robinson…
- Cited by 75 (6 self) – Add To MetaCart
-
Categorical Proof Theory of Classical Propositional Calculus
- … Edmund Robinson a Christian Urban c a Queen Mary, University of London, UK b University of Cambridge, UK…
- Cited by 2 (1 self) – Add To MetaCart
-
A TERM ASSIGNMENT FOR DUAL INTUITIONISTIC LOGIC.
- …, Tristan Crolard, Arnaud Fleury, Nicola Gambino, Maria Emilia Maietti, Kurt Ranalter, Edmund Robinson…
- Add To MetaCart
Showing 1 through 8.
