1. On Causal Equivalence by Tracing in String Rewriting;Electronic Proceedings in Theoretical Computer Science;2023-04-01
2. Reducibility between Classes of Port Graph Grammar;Journal of Computer and System Sciences;2002-09
3. A Calculus for Interaction Nets;Lecture Notes in Computer Science;1999
4. Interaction Combinators;Information and Computation;1997-08
5. “Use-once” variables and linear objects;ACM SIGPLAN Notices;1995-01-03