Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract).
Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009
Coherence Completions of Categories.
Theor. Comput. Sci., 1999
Coherence completions of categories and their enriched softness.
Proceedings of the Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, 1997
Bisimulation from Open Maps.
Inf. Comput., 1996
A Completeness Theorem for Open Maps.
Ann. Pure Appl. Log., 1994
Bisimulation and open maps
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993