R. D. Tennent
发表
M. A. Jenkins,
M. A. Jenkins,
T. I. Fenner,
1973,
SIGP.
R. D. Tennent,
2002
.
R. D. Tennent,
1995,
LICS 1995.
R. D. Tennent,
2002
.
M. A. Jenkins,
R. D. Tennent,
1973,
SIGP.
R. D. Tennent,
2002
.
R. D. Tennent,
1994
.
R. D. Tennent,
2002
.
R. D. Tennent,
2000
.
R. D. Tennent,
2002
.
R. D. Tennent,
John C. Mitchell,
1997,
Journal of Functional Programming.
R. D. Tennent,
R. D. Tennent,
1987,
Inf. Process. Lett..
Peter D. Mosses,
D. A. Watt,
H. J. Boom,
1989
.
R. D. Tennent,
1977
.
R. D. Tennent,
2002
.
R. D. Tennent,
2002
.
R. D. Tennent,
2009,
High. Order Symb. Comput..
R. D. Tennent,
1987
.
Dan R. Ghica,
R. D. Tennent,
D. Ghica,
2003
.
R. D. Tennent,
2002
.
R. D. Tennent,
2002
.
R. D. Tennent,
2002
.
Robert D. Tennent,
R. D. Tennent,
1985,
Inf. Comput..
R. D. Tennent,
P. W. O'Hearn,
R. D. Tennent,
1992
.
Robert D. Tennent,
R. D. Tennent,
J. K. Tobin,
1991,
Theor. Comput. Sci..
R. D. Tennent,
P. J. Freyd,
A. J. Power,
1999
.
Dan R. Ghica,
Robert D. Tennent,
R. D. Tennent,
2000,
High. Order Symb. Comput..
Robert D. Tennent,
R. D. Tennent,
1977,
Acta Informatica.
Robert D. Tennent,
R. D. Tennent,
1983,
Comput. Lang..
Robert D. Tennent,
R. D. Tennent,
1989,
Sci. Comput. Program..
Robert D. Tennent,
R. D. Tennent,
1973,
POPL.
Robert D. Tennent,
R. D. Tennent,
Carl A. Gunter,
1991,
Prentice Hall International Series in Computer Science.
Claudio Hermida,
Robert D. Tennent,
R. D. Tennent,
2009,
MFPS.
Robert D. Tennent,
R. D. Tennent,
1987,
Inf. Process. Lett..
Robert D. Tennent,
R. D. Tennent,
1977,
Acta Informatica.
Robert D. Tennent,
R. D. Tennent,
1976,
CACM.
Peter W. O'Hearn,
R. D. Tennent,
R. D. Tennent,
1997
.
Robert D. Tennent,
R. D. Tennent,
1982,
Theor. Comput. Sci..
R. D. Tennent,
1991,
Prentice Hall International Series in Computer Science.
R. D. Tennent,
Robert Daniel Tennent,
1973
.