André Joyal
发表
Andrej Bauer,
Robert Harper,
Thierry Coquand,
2013,
ArXiv.
Joachim Kock,
André Joyal,
Jean-François Mascari,
2007,
0706.1033.
André Joyal,
A. Joyal,
1996
.
André Joyal,
Myles Tierney,
A. Joyal,
2008
.
Ieke Moerdijk,
André Joyal,
I. Moerdijk,
1995
.
André Joyal,
A. Joyal,
2002
.
Pierre-André Julien,
André Joyal,
P. Julien,
1997
.
Glynn Winskel,
Mogens Nielsen,
André Joyal,
1994
.
Ross Street,
André Joyal,
1993
.
André Joyal,
Peter T. Johnstone,
P. Johnstone,
1982
.
André Joyal,
1969
.
Ross Street,
André Joyal,
A. Joyal,
1991
.
Ieke Moerdijk,
André Joyal,
1991
.
Ieke Moerdijk,
André Joyal,
1990
.
Ieke Moerdijk,
André Joyal,
1990
.
Ross Street,
André Joyal,
Dominic R. Verity,
1996
.
André Joyal,
Myles Tierney,
A. Joyal,
1991
.