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

Jules Hedges

The notion of morphisms between open games is defined, exploiting a surprising connection between lenses in computer science and compositional game theory.