The Quantitative Collapse of Concurrent Games with Symmetry

Pierre Clairambault, Hugo Paquet

We explore links between the thin concurrent games of Castellan, Clairambault and Winskel, and the weighted relational models of linear logic studied by Laird, Manzonetto, McCusker…