Lison Blondeau-Patissier

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Numerical Values

Online Auctions

Formal Semantics

Resource Allocation

Top Venues

Publications

Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
Strategies as Resource Terms, and Their Categorical Semantics. FSCD (2023)
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
Strategies as Resource Terms, and their Categorical Semantics. CoRR (2023)
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
Extensional Taylor Expansion. CoRR (2023)
Lison Blondeau-Patissier, Pierre Clairambault
Positional Injectivity for Innocent Strategies. CoRR (2021)
Lison Blondeau-Patissier, Pierre Clairambault
Positional Injectivity for Innocent Strategies. FSCD (2021)