Andrew M. Pitts
发表
Marcelo P. Fiore,
Andrew M. Pitts,
S. C. Steenkamp,
2021,
ArXiv.
Peter Johnstone,
Andrew M. Pitts,
Michael Fourman,
1992
.
Mark R. Shinwell,
Andrew M. Pitts,
2005
.
Tim Sheard,
Andrew M. Pitts,
T. Sheard,
2004
.
Andrew M. Pitts,
A. Pitts,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Peter Dybjer,
David E. Rydeheard,
Andrew M. Pitts,
1989
.
Daniel R. Licata,
Andrew M. Pitts,
Ian Orton,
2018
.