Focalisation and Classical Realisability. - Guillaume Munch-Maccagnoni (CSL, 2009)

The Duality of Computation under Focus. - Pierre-Louis Curien; Guillaume Munch-Maccagnoni (IFIP TCS, 2010)

Syntax and Models of a non-Associative Composition of Programs and Proofs. (Syntaxe et modèles d'une composition non-associative des programmes et des preuves). - Guillaume Munch-Maccagnoni (2013)

Formulae-as-types for an involutive negation. - Guillaume Munch-Maccagnoni (CSL-LICS, 2014)

Models of a Non-associative Composition. - Guillaume Munch-Maccagnoni (FoSSaCS, 2014)

Polarised Intermediate Representation of Lambda Calculus with Sums. - Guillaume Munch-Maccagnoni; Gabriel Scherer (LICS, 2015)

A theory of effects and resources: adjunction models and polarised calculi. - Pierre-Louis Curien; Marcelo P. Fiore; Guillaume Munch-Maccagnoni (POPL, 2016)

Resource Polymorphism. - Guillaume Munch-Maccagnoni (CoRR, 2018)

Classical notions of computation and the Hasegawa-Thielecke theorem. - Éléonore Mangel; Paul-André Melliès; Guillaume Munch-Maccagnoni (CoRR, 2025)