Robert Pollack
发表
James McKinna,
L. S. van Benthem Jutting,
Robert Pollack,
1994,
TYPES.
James McKinna,
Robert Pollack,
R. Pollack,
1997,
Journal of Automated Reasoning.
Robert Pollack,
R. Pollack,
1995,
TLCA.
James McKinna,
Robert Pollack,
1993,
TLCA.
Robert Harper,
Robert Pollack,
R. Harper,
1991,
Theor. Comput. Sci..
Robert Pollack,
1995
.
Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft)
Robert Harper,
Robert Pollack,
R. Harper,
1989,
TAPSOFT, Vol.2.
Robert Pollack,
Glenn Stevens,
2013,
J. Lond. Math. Soc..
Zhaohui Luo,
James McKinna,
Paul Callaghan,
2002
.
Robert Pollack,
R. Pollack,
1994,
TYPES.
Ian A. Mason,
Furio Honsell,
Arnon Avron,
1992,
Journal of Automated Reasoning.
Robert Pollack,
R. Pollack,
2000,
TPHOLs.
James McKinna,
Robert Pollack,
1997
.
Robert Pollack,
2002,
Formal Aspects of Computing.
Zhaohui Luo,
James McKinna,
Paul Callaghan,
2000
.
Robert Pollack,
R. Pollack,
1997
.
Robert Pollack,
John Bergdall,
2021
.
Henri Darmon,
Robert Pollack,
R. Pollack,
2006
.