2009
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract).
Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

1999
Coherence Completions of Categories.
Theor. Comput. Sci., 1999

1997
Coherence completions of categories and their enriched softness.
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997

1996
Bisimulation from Open Maps.
Inf. Comput., 1996

1994
A Completeness Theorem for Open Maps.
Ann. Pure Appl. Log., 1994

1993
Bisimulation and open maps
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1981
La Logique des Topos.
J. Symb. Log., 1981