We stand with Ukraine  

André Joyal

Affiliations:
  • Université du Québec à Montréal, Canada


According to our database1, André Joyal authored at least 7 papers between 1981 and 2009.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2009
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract).
[BibTeX]
[DOI]
André Joyal
,
Joachim Kock
Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

1999
Coherence Completions of Categories.
[BibTeX]
[DOI]
Hongde Hu
,
André Joyal
Theor. Comput. Sci., 1999

1997
Coherence completions of categories and their enriched softness.
[BibTeX]
[DOI]
Hongde Hu
,
André Joyal
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

1996
Bisimulation from Open Maps.
[BibTeX]
[DOI]
André Joyal
,
Mogens Nielsen
,
Glynn Winskel
Inf. Comput., 1996

1994
A Completeness Theorem for Open Maps.
[BibTeX]
[DOI]
André Joyal
,
Ieke Moerdijk
Ann. Pure Appl. Log., 1994

1993
Bisimulation and open maps
[BibTeX]
[DOI]
André Joyal
,
Mogens Nielsen
,
Glynn Winskel
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1981
La Logique des Topos.
[BibTeX]
[DOI]
Andre Boileau
,
André Joyal
J. Symb. Log., 1981


  Loading...