Positional Injectivity for Innocent Strategies. - Lison Blondeau-Patissier; Pierre Clairambault (FSCD, 2021)

Strategies as Resource Terms, and Their Categorical Semantics. - Lison Blondeau-Patissier; Pierre Clairambault; Lionel Vaux Auclair (FSCD, 2023)

Extensional Taylor Expansion. - Lison Blondeau-Patissier; Pierre Clairambault; Lionel Vaux Auclair (CoRR, 2023)