From Thin Concurrent Games to Generalized Species of Structures.

Pierre Clairambault, Federico Olimpieri, Hugo Paquet

Browse the full LICS paper archive.