1. Semantics for a Lambda Calculus for String Diagrams;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
2. Abstract processes and conflicts in place/transition systems;Information and Computation;2021-12
3. A Framework for Rewriting Families of String Diagrams;Electronic Proceedings in Theoretical Computer Science;2019-02-06
4. Enriching a Linear/Non-linear Lambda Calculus;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
5. Abstract processes of place/transition systems;Information Processing Letters;2011-07