A Cellular Howe Theorem. - Peio Borthelle; Tom Hirschowitz; Ambroise Lafont (LICS, 2020)

An abstract, certified account of operational game semantics. - Peio Borthelle; Tom Hirschowitz; Guilhem Jaber; Yannick Zakowski (ESOP (1), 2025)

Artifact Report: an Abstract, Certified Account of Operational Game Semantics. - Peio Borthelle; Tom Hirschowitz; Guilhem Jaber; Yannick Zakowski (ESOP (1), 2025)