From Thin Concurrent Games to Generalized Species of Structures (Extended Version)

Pierre Clairambault, Federico Olimpieri, Hugo Paquet

Two families of denotational models have emerged from the semantic analysis of linear logic: dynamic models, typically presented as game semantics, and static models, typically bas…