E. Robinson
发表
J. Hyland,
E. Robinson,
G. Rosolini,
1990
.
E. Robinson,
1986
.
Edmund Robinson,
Giuseppe Rosolini,
E. Robinson,
1990,
Journal of Symbolic Logic.
Edmund Robinson,
E. Robinson,
1986
.
P. O'Hearn,
D. Pym,
E. Robinson,
2013
.
P. Oliva,
E. Robinson,
A. Lewis-Smith,
2020,
Stud Logica.
U. Reddy,
E. Robinson,
C. Hermida,
2020,
Mathematical Structures in Computer Science.
D. Pym,
Eike Ritter,
E. Robinson,
2023,
ArXiv.
Edmund Robinson,
John Power,
J. Power,
1997,
Mathematical Structures in Computer Science.
Claudio Hermida,
Uday S. Reddy,
Edmund P. Robinson,
2014,
WACT.
Edmund Robinson,
E. Robinson,
1987,
Category Theory and Computer Science.
Edmund Robinson,
Giuseppe Rosolini,
E. Robinson,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Eli Blevis,
M. A. Jenkins,
Edmund Robinson,
1989
.
Edmund Robinson,
David J. Pym,
Matthew Collinson,
2007
.
Edmund Robinson,
David J. Pym,
Matthew Collinson,
2005,
CSL.
Edmund Robinson,
Giuseppe Rosolini,
Martin Hyland,
1989,
Mathematical Foundations of Programming Semantics.
Edmund Robinson,
Giuseppe Rosolini,
E. Robinson,
2001,
CSL.
Edmund Robinson,
E. Robinson,
1994,
Theor. Comput. Sci..
Edmund Robinson,
Giuseppe Rosolini,
E. Robinson,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Edmund Robinson,
E. Robinson,
1989,
[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
E. Robinson,
1987
.
Edmund Robinson,
David J. Pym,
Eike Ritter,
2014,
J. Log. Comput..
E. Robinson,
2003,
J. Log. Comput..