A Compositional Framework for Petri Nets. - Serge Lechenne; Clovis Eberhart; Ichiro Hasuo (CMCS, 2024)

Braids, Twists, Trace and Duality in Combinatory Algebras. - Masahito Hasegawa; Serge Lechenne (LICS, 2024)