La Logique des Topos. - Andre Boileau; André Joyal (J. Symb. Log., 1981)

Bisimulation and open maps - André Joyal; Mogens Nielsen; Glynn Winskel (LICS, 1993)

A Completeness Theorem for Open Maps. - André Joyal; Ieke Moerdijk (Ann. Pure Appl. Log., 1994)

Bisimulation from Open Maps. - André Joyal; Mogens Nielsen; Glynn Winskel (Inf. Comput., 1996)

Coherence completions of categories and their enriched softness. - Hongde Hu; André Joyal (MFPS, 1997)

Coherence Completions of Categories. - Hongde Hu; André Joyal (Theor. Comput. Sci., 1999)

Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract). - André Joyal; Joachim Kock (QPL@MFPS, 2009)