Roy L. Crole
发表
Roy L. Crole,
2001,
Log. J. IGPL.
Roy L. Crole,
Andrew M. Pitts,
A. Pitts,
1992,
Inf. Comput..
Roy L. Crole,
Isabella Mastroeni,
Samuele Buro,
2020,
SAS.
Roy L. Crole,
Alberto Momigliano,
Simon Ambler,
2002,
TPHOLs.
Roy L. Crole,
1996,
Appl. Categorical Struct..
Roland Carl Backhouse,
Roy L. Crole,
Jeremy Gibbons,
2000,
Lecture Notes in Computer Science.
Roy L. Crole,
Rajagopal Nagarajan,
Simon J. Gay,
1994,
Theory and Formal Methods.
Roy L. Crole,
Simon Ambler,
1999,
TPHOLs.
Roy L. Crole,
2000,
RAIRO Theor. Informatics Appl..
Roy L. Crole,
Amy Elizabeth Furniss,
2015,
LSFA.
Roy L. Crole,
R. Crole,
1991
.
Roy L. Crole,
1999
.
Roy L. Crole,
Frank Nebel,
R. Crole,
2013,
MFPS.
Roy L. Crole,
1993,
Theory and Formal Methods.
Roy L. Crole,
1997
.
Roy L. Crole,
Andrew M. Pitts,
A. Pitts,
1990,
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Roy L. Crole,
R. Crole,
1994
.
Roy L. Crole,
Andrew D. Gordon,
A. Gordon,
1994,
CSL.
Roy L. Crole,
Andrew D. Gordon,
1999,
Math. Struct. Comput. Sci..
Roy L. Crole,
Alberto Momigliano,
S. J. Ambler,
2003,
MERLIN '03.
Roy L. Crole,
2011,
Math. Struct. Comput. Sci..
Roy L. Crole,
R. Crole,
2003,
Generic Programming.
Roy L. Crole,
R. Crole,
1994,
Cambridge mathematical textbooks.
Roy L. Crole,
Alberto Momigliano,
Simon Ambler,
2002,
Electron. Notes Theor. Comput. Sci..
Roy L. Crole,
Alberto Momigliano,
Simon Ambler,
2001,
Electron. Notes Theor. Comput. Sci..
Roy L. Crole,
1994
.
Roy L. Crole,
Andrew D. Gordon,
1993,
Functional Programming.
Roy L. Crole,
Isabella Mastroeni,
Samuele Buro,
2020,
MFPS.
Roy L. Crole,
R. Crole,
2012,
Theor. Comput. Sci..
Roy L. Crole,
1994,
Theor. Comput. Sci..
Roy L. Crole,
Alberto Momigliano,
Simon Ambler,
2003
.
Roy L. Crole,
R. Crole,
1994
.
Roy L. Crole,
1994
.
Roy L. Crole,
.