Regular Behaviours with Names

Stefan Milius, Lutz Schröder, Thorsten Wißmann

Nominal sets provide a framework to study key notions of syntax and semantics such as fresh names, variable binding and $\alpha$-equivalence on a conveniently abstract categorical level…