| |
| 1999 | ||
|---|---|---|
| 6 | EE | Hongde Hu, André Joyal: Coherence Completions of Categories. Theor. Comput. Sci. 227(1-2): 153-184 (1999) |
| 1997 | ||
| 5 | EE | Hongde Hu, André Joyal: Coherence completions of categories and their enriched softness. Electr. Notes Theor. Comput. Sci. 6: (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) | |
| 1 | Andre Boileau | [1] |
| 2 | Hongde Hu | [5] [6] |
| 3 | Ieke Moerdijk | [3] |
| 4 | Mogens Nielsen | [2] [4] |
| 5 | Glynn Winskel | [2] [4] |