 | 2011 |
|---|
| 7 |       | André Joyal,
Joachim Kock:
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 270(2): 105-113 (2011) |
| 1999 |
|---|
| 6 | | Hongde Hu,
André Joyal:
Coherence Completions of Categories.
Theor. Comput. Sci. 227(1-2): 153-184 (1999) |
| 1997 |
|---|
| 5 | | Hongde Hu,
André Joyal:
Coherence completions of categories and their enriched softness.
Electr. Notes Theor. Comput. Sci. 6: 174-190 (1997) |
| 1996 |
|---|
| 4 | | André Joyal,
Mogens Nielsen,
Glynn Winskel:
Bisimulation from Open Maps.
Inf. Comput. 127(2): 164-185 (1996) |
| 1994 |
|---|
| 3 | | André Joyal,
Ieke Moerdijk:
A Completeness Theorem for Open Maps.
Ann. Pure Appl. Logic 70(1): 51-86 (1994) |
| 1993 |
|---|
| 2 | | André Joyal,
Mogens Nielsen,
Glynn Winskel:
Bisimulation and open maps
LICS 1993: 418-427 |
| 1981 |
|---|
| 1 |  | Andre Boileau,
André Joyal:
La Logique des Topos.
J. Symb. Log. 46(1): 6-16 (1981) |
Data released under the ODC-BY 1.0 license — See also our legal information page