3 papers
cs.LO2023
Extensional Taylor Expansion
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
We introduce a calculus of extensional resource terms. These are resource terms à la Ehrhard-Regnier, but in infinitely eta-long form. The calculus still retains a finite syntax an…
cs.LO2023
Strategies as Resource Terms, and their Categorical Semantics
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
As shown by Tsukada and Ong, simply-typed, normal and eta-long resource terms correspond to plays in Hyland-Ong games, quotiented by Melliès' homotopy equivalence. The original pro…
cs.LO2021
Positional Injectivity for Innocent Strategies
Lison Blondeau-Patissier, Pierre Clairambault
In asynchronous games, Melli{è}s proved that innocent strategies are positional: their behaviour only depends on the position, not the temporal order used to reach it. This insight…