From thin concurrent games to generalized species of structures

DOI10.1109/LICS56636.2023.10175681MaRDI QIDQ6851640zbMATH OpenFDO

Authors Pierre Clairambault, Federico Olimpieri, Hugo Paquet

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175681

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(5)

• From thin concurrent games to generalized species of structures (extended version)
• Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
• An analysis of symmetry in quantitative semantics
• Categorical continuation semantics for concurrency
• Modular abstract syntax trees (MAST): substitution tensors with second-class sorts

This page was built for publication: From thin concurrent games to generalized species of structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851640)