André Joyal

Publication Activity (10 Years)

Years Active: 1981-2011
Publications (10 Years): 0

Publications

André Joyal, Joachim Kock
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract). Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Hongde Hu, André Joyal
Coherence Completions of Categories. Theor. Comput. Sci. 227 (1-2) (1999)
Hongde Hu, André Joyal
Coherence completions of categories and their enriched softness. MFPS (1997)
André Joyal, Mogens Nielsen, Glynn Winskel
Bisimulation from Open Maps. Inf. Comput. 127 (2) (1996)
André Joyal, Ieke Moerdijk
A Completeness Theorem for Open Maps. Ann. Pure Appl. Log. 70 (1) (1994)
André Joyal, Mogens Nielsen, Glynn Winskel
Bisimulation and open maps LICS (1993)
Andre Boileau, André Joyal
La Logique des Topos. J. Symb. Log. 46 (1) (1981)