QPL 2018 - Halifax
Executions in Integral Petri Nets are Compact Closed Categories
Fabrizio Romano Genovese
Petri nets are analyzed in a context where places are allowed to have a negative number of tokens.
Morphisms of Open Games
The notion of morphisms between open games is defined, exploiting a surprising connection between lenses in computer science and compositional game theory.