Edmund Robinson
Edmund Robinson
Professor of Computer Science, Queen Mary, University of London
E-mail confirmado em dcs.qmul.ac.uk
Título
Citado por
Citado por
Ano
Premonoidal categories and notions of computation
J Power, E Robinson
Mathematical structures in computer science 7 (5), 453-468, 1997
2431997
Categories of partial maps
E Robinson, G Rosolini
Information and computation 79 (2), 95-130, 1988
1741988
The discrete objects in the effective topos
JME Hyland, EP Robinson, G Rosolini
Proceedings of the London mathematical society 3 (1), 1-36, 1990
1311990
Proof nets for classical logic
E Robinson
Journal of Logic and Computation 13 (5), 777-797, 2003
732003
Variations on algebra: monadicity and generalisations of equational therories
E Robinson
Formal Aspects of Computing 13 (3-5), 308-326, 2002
70*2002
Colimit completions and the effective topos
E Robinson, G Rosolini
The Journal of Symbolic Logic 55 (2), 678-699, 1990
661990
Reflexive graphs and parametric polymorphism
EP Robinson, G Rosolini
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 364-371, 1994
581994
How complete is PER?
E Robinson
Proceedings. Fourth Annual Symposium on Logic in Computer Science, 106,107 …, 1989
381989
Algebraic types in PER models
JME Hyland, EP Robinson, G Rosolini
International Conference on Mathematical Foundations of Programming …, 1989
331989
A characterization of pie limits
J Power, E Robinson
Mathematical Proceedings of the Cambridge Philosophical Society 110 (1), 33-47, 1991
311991
Categorical proof theory of classical propositional calculus
G Bellin, M Hyland, E Robinson, C Urban
Theoretical Computer Science 364 (2), 146-165, 2006
292006
Logical Relations and Parametricity-A Reynolds Programme for Category Theory and Programming Languages.
C Hermida, US Reddy, EP Robinson
Electron. Notes Theor. Comput. Sci. 303, 149-180, 2014
272014
Logical aspects of denotational semantics
E Robinson
Category Theory and Computer Science, 238-253, 1987
251987
Power-domains, modalities and the Vietoris monad
E Robinson
University of Cambridge, Computer Laboratory, 1986
211986
Dinaturality for free
PJ Freyd, EP Robinson, G Rosolini
Applications of Categories in Computer Science 177, 107-118, 1992
181992
Functional parametricity
PJ Freyd, EP Robinson, G Rosolini
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992
151992
The p-adic spectrum
E Robinson
Journal of Pure and Applied Algebra 40, 281-296, 1986
141986
Modularity and dyads
J Power, E Robinson
Electronic Notes in Theoretical Computer Science 20, 467-480, 1999
131999
The geometric theory of p-adic fields
E Robinson
Journal of Algebra 110 (1), 158-172, 1987
131987
Bunched polymorphism
M Collinson, D Pym, E Robinson
Mathematical Structures in Computer Science 18 (6), 1091, 2008
112008
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20