A. Joyal
发表
A. Joyal,
R. Street,
1991
.
Ross Street,
André Joyal,
Dominic R. Verity,
1996
.
A. Joyal,
M. Tierney,
1984
.
A. Joyal,
1997
.
A. Joyal,
2012
.
A. Joyal,
G. Reyes,
1986
.
Myles Tierney,
A. Joyal,
M. Tierney,
2006
.
Eric Finster,
Mathieu Anel,
Andr'e Joyal,
2017,
Journal of Topology.
André Joyal,
Myles Tierney,
A. Joyal,
2008
.
Ieke Moerdijk,
André Joyal,
I. Moerdijk,
1995
.
A. Joyal,
M. Tierney,
2000
.
A. Joyal,
M. Tierney,
1996,
Mathematical Proceedings of the Cambridge Philosophical Society.
A. Joyal,
M. Tierney,
1993
.
P. Julien,
A. Joyal,
Laurent Deshaies,
1994
.
A. Joyal,
Laurent Deshaies,
2002
.
A. Joyal,
M. Tierney,
2006,
math/0607820.
A. Joyal,
Joachim Kock,
2006,
math/0602084.
André Joyal,
Peter T. Johnstone,
P. Johnstone,
1982
.
A. Joyal,
R. Street,
1991
.
Ross Street,
André Joyal,
A. Joyal,
1991
.
Glynn Winskel,
Mogens Nielsen,
André Joyal,
1994,
Inf. Comput..
A. Joyal,
M. Anel,
2013,
1309.6952.
André Joyal,
Myles Tierney,
A. Joyal,
1991
.
A. Joyal,
2008
.
Joachim Kock,
Andr'e Joyal,
A. Joyal,
2009,
Documenta Mathematica.
André Joyal,
A. Joyal,
2002
.
A. Joyal,
M. Anel,
E. Finster,
2021,
Advances in Mathematics.
A. Joyal,
M. Anel,
G. Biedermann,
2021,
2101.02791.
A. Joyal,
T. Bisson,
2022
.
Nicola Gambino,
Andr'e Joyal,
A. Joyal,
2014,
1405.7270.
A. Joyal,
M. Tierney,
2006
.
A. Joyal,
M. Tierney,
2006,
math/0607820.
Pierre-André Julien,
André Joyal,
P. Julien,
1997
.
Dominic R. Verity,
A. Joyal,
R. Street,
1996,
Mathematical Proceedings of the Cambridge Philosophical Society.
André Joyal,
A. Joyal,
1996
.
Joachim Kock,
André Joyal,
A. Joyal,
2009,
QPL@MFPS.
Ieke Moerdijk,
André Joyal,
I. Moerdijk,
1994,
Ann. Pure Appl. Log..
Glynn Winskel,
Mogens Nielsen,
André Joyal,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
A. Joyal,
M. Anel,
Eric Finster,
2022,
Journal of Pure and Applied Algebra.
Joachim Kock,
André Joyal,
Jean-François Mascari,
2007,
0706.1033.
A. Joyal,
M. Anel,
Eric Finster,
2017,
Journal of Topology.