B. Nordstr
发表
C. Flynn,
J. Holmberg,
V. S. Aguirre,
2014
.
Thierry Coquand,
Jan M. Smith,
Björn von Sydow,
2007
.