André Joyal

	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: (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)

Coauthor Index

1	Andre Boileau	[1]
2	Hongde Hu	[5] [6]
3	Ieke Moerdijk	[3]
4	Mogens Nielsen	[2] [4]
5	Glynn Winskel	[2] [4]

Colors in the list of coauthors