R. Pollack
发表
R. Pollack,
Evan P. Dummit,
Márton Hablicsek,
2015,
1510.05795.
R. Pollack,
John Bergdall,
2017,
Transactions of the American Mathematical Society.
R. Pollack,
John Bergdall,
2015,
1506.05307.
R. Pollack,
Christian Urban,
2007
.
R. Pollack,
T. Weston,
2006,
Compositio Mathematica.
R. Pollack,
Kazim Buyukboduk,
Shu Sasaki,
2018,
1811.08216.
R. Pollack,
G. Stevens,
2010
.
R. Pollack,
K. Rubin,
2005,
math/0509604.
Robert Pollack,
R. Pollack,
1995,
TLCA.
R. Pollack,
2003
.
R. Pollack,
M. Emerton,
T. Weston,
2004,
math/0404484.
R. Pollack,
M. Kurihara,
2007
.
R. Pollack,
M. Emerton,
T. Weston,
2022,
2210.02013.
R. Pollack,
2004,
math/0407393.
James McKinna,
Robert Pollack,
R. Pollack,
1997,
Journal of Automated Reasoning.
Ian A. Mason,
Furio Honsell,
Arnon Avron,
1992,
Journal of Automated Reasoning.
Henri Darmon,
Robert Pollack,
R. Pollack,
2006
.
R. Pollack,
2014
.
Robert Pollack,
R. Pollack,
1994,
TYPES.
S. Clegg,
R. Wiens,
K. Edgett,
2020
.
Robert Pollack,
R. Pollack,
2000,
TPHOLs.
R. Pollack,
Vlad Serban,
2022,
2208.02769.
R. Pollack,
T. Weston,
2009,
0906.1741.
R. Pollack,
John Bergdall,
2016,
1611.01497.
R. Pollack,
John Bergdall,
2016,
Transactions of the American Mathematical Society.
R. Pollack,
A. Iovita,
2004,
math/0411496.
R. Pollack,
A. Iovita,
2006
.
R. Pollack,
T. Weston,
Chan-Ho Kim,
2017
.
James McKinna,
L. S. van Benthem Jutting,
Robert Pollack,
1994,
TYPES.
R. Pollack,
Robert H. Pollack,
1995
.
Robert Pollack,
R. Pollack,
1997
.
R. Pollack,
1996
.
Robert Harper,
Robert Pollack,
R. Harper,
1991,
Theor. Comput. Sci..
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft)
Robert Harper,
Robert Pollack,
R. Harper,
1989,
TAPSOFT, Vol.2.
R. Pollack,
Douglas Ulmer,
2005
.