![]() | ![]() |
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] |