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
2371997
Categories of partial maps
E Robinson, G Rosolini
Information and computation 79 (2), 95-130, 1988
1681988
The discrete objects in the effective topos
JME Hyland, EP Robinson, G Rosolini
Proceedings of the London mathematical society 3 (1), 1-36, 1990
1291990
Proof nets for classical logic
E Robinson
Journal of Logic and Computation 13 (5), 777-797, 2003
722003
Variations on algebra: Monadicity and generalisations of equational therories
E Robinson
Formal Aspects of Computing 13 (3-5), 308-326, 2002
69*2002
Colimit completions and the effective topos
E Robinson, G Rosolini
The Journal of Symbolic Logic 55 (2), 678-699, 1990
641990
Reflexive graphs and parametric polymorphism
EP Robinson, G Rosolini
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 364-371, 1994
561994
How complete is PER?
E Robinson
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science …, 1989
381989
Algebraic types in PER models
JME Hyland, EP Robinson, G Rosolini
International Conference on Mathematical Foundations of Programming …, 1989
331989
Categorical proof theory of classical propositional calculus
G Bellin, M Hyland, E Robinson, C Urban
Theoretical Computer Science 364 (2), 146-165, 2006
292006
A characterization of pie limits
J Power, E Robinson
Mathematical Proceedings of the Cambridge Philosophical Society 110 (1), 33-47, 1991
291991
Logical Relations and Parametricity-A Reynolds Programme for Category Theory and Programming Languages.
C Hermida, US Reddy, EP Robinson
Electr. Notes Theor. Comput. Sci. 303, 149-180, 2014
262014
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
171992
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
The geometric theory of p-adic fields
E Robinson
Journal of Algebra 110 (1), 158-172, 1987
131987
Modularity and dyads
J Power, E Robinson
Electronic Notes in Theoretical Computer Science 20, 467-480, 1999
121999
Logical relations and data abstraction
J Power, E Robinson
International Workshop on Computer Science Logic, 497-511, 2000
112000
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20