Pierre Clairambault

68 papers A* 8B 15C 1Journal 35Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Extensional Taylor Expansion.
TheoretiCS
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
2026 B conf
Towards A Rosetta Stone of Interactive and Quantitative Semantics (Invited Talk).
CSL
Pierre Clairambault
2025 J jnl
From Thin Concurrent Games to Generalized Species of Structures (Extended Version).
Log. Methods Comput. Sci.
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
2025 J jnl
Strategies as Resource Terms, and their Categorical Semantics.
Log. Methods Comput. Sci.
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
2025 A* conf
The Qualitative Collapse of Concurrent Games.
LICS
Pierre Clairambault
2024 A* conf
An Analysis of Symmetry in Quantitative Semantics.
LICS
Pierre Clairambault, Simon Forest
2024 J jnl
An Analysis of Symmetry in Quantitative Semantics.
CoRR
Pierre Clairambault, Simon Forest
2024 — book
Causal Investigations in Interactive Semantics.
Pierre Clairambault
2024 J jnl
Disentangling Parallelism and Interference in Game Semantics.
Log. Methods Comput. Sci.
Simon Castellan, Pierre Clairambault
2024 J jnl
The Qualitative Collapse of Concurrent Games.
CoRR
Pierre Clairambault
2023 J jnl
Extensional Taylor Expansion.
CoRR
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
2023 A* conf
From Thin Concurrent Games to Generalized Species of Structures.
LICS
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
2023 J jnl
From Thin Concurrent Games to Generalized Species of Structures.
CoRR
Pierre Clairambault, Federico Olimpieri, Hugo Paquet
2023 B conf
Strategies as Resource Terms, and Their Categorical Semantics.
FSCD
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
2023 J jnl
Strategies as Resource Terms, and their Categorical Semantics.
CoRR
Lison Blondeau-Patissier, Pierre Clairambault, Lionel Vaux Auclair
2023 A* conf
The Cartesian Closed Bicategory of Thin Spans of Groupoids.
LICS
Pierre Clairambault, Simon Forest
2023 J jnl
The Cartesian Closed Bicategory of Thin Spans of Groupoids.
CoRR
Pierre Clairambault, Simon Forest
2023 J jnl
The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding.
Proc. ACM Program. Lang.
Simon Castellan, Pierre Clairambault
2021 J jnl
Disentangling Parallelism and Interference in Game Semantics.
CoRR
Simon Castellan, Pierre Clairambault
2021 B conf
Positional Injectivity for Innocent Strategies.
FSCD
Lison Blondeau-Patissier, Pierre Clairambault
2021 J jnl
Positional Injectivity for Innocent Strategies.
CoRR
Lison Blondeau-Patissier, Pierre Clairambault
2021 J jnl
The Mays and Musts of Concurrent Strategies.
CoRR
Simon Castellan, Pierre Clairambault, Glynn Winskel
2021 J jnl
The Quantitative Collapse of Concurrent Games with Symmetry.
CoRR
Pierre Clairambault, Hugo Paquet
2020 J jnl
Full abstraction for the quantum lambda-calculus.
Proc. ACM Program. Lang.
Pierre Clairambault, Marc de Visme
2020 J jnl
Learning to Count up to Symmetry.
CoRR
Pierre Clairambault
2019 J jnl
Categories with Families: Unityped, Simply Typed, and Dependently Typed.
CoRR
Simon Castellan, Pierre Clairambault, Peter Dybjer
2019 C conf
Concurrent Quantum Strategies.
RC
Pierre Clairambault, Marc de Visme, Glynn Winskel
2019 J jnl
Game semantics for quantum programming.
Proc. ACM Program. Lang.
Pierre Clairambault, Marc de Visme, Glynn Winskel
2019 B conf
On the Expressivity of Linear Recursion Schemes.
MFCS
Pierre Clairambault, Andrzej S. Murawski
2019 B conf
Resource-Tracking Concurrent Games.
FoSSaCS
Aurore Alcolei, Pierre Clairambault, Olivier Laurent
2019 J jnl
Thin Games with Symmetry and Concurrent Hyland-Ong Games.
Log. Methods Comput. Sci.
Simon Castellan, Pierre Clairambault, Glynn Winskel
2018 B conf
Fully Abstract Models of the Probabilistic lambda-calculus.
CSL
Pierre Clairambault, Hugo Paquet
2018 J jnl
Linearity in higher-order recursion schemes.
Proc. ACM Program. Lang.
Pierre Clairambault, Charles Grellois, Andrzej S. Murawski
2018 B conf
Non-angelic Concurrent Game Semantics.
FoSSaCS
Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel
2018 B conf
The True Concurrency of Herbrand's Theorem.
CSL
Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel
2018 A* conf
The concurrent game semantics of Probabilistic PCF.
LICS
Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel
2017 B conf
Distributed Strategies Made Easy.
MFCS
Simon Castellan, Pierre Clairambault, Glynn Winskel
2017 J jnl
Games and Strategies as Event Structures.
Log. Methods Comput. Sci.
Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
2017 B conf
Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or.
FSCD
Simon Castellan, Pierre Clairambault, Glynn Winskel
2017 J jnl
Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version).
Log. Methods Comput. Sci.
Simon Castellan, Pierre Clairambault, Peter Dybjer
2016 B conf
Causality vs. Interleavings in Concurrent Game Semantics.
CONCUR
Simon Castellan, Pierre Clairambault
2016 J jnl
Concurrent Games.
CoRR
Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
2015 J jnl
Bounding linear head reduction and visible interaction through skeletons.
Log. Methods Comput. Sci.
Pierre Clairambault
2015 B conf
Game Semantics and Normalization by Evaluation.
FoSSaCS
Pierre Clairambault, Peter Dybjer
2015 A* conf
The Parallel Intensionally Fully Abstract Games Model of PCF.
LICS
Simon Castellan, Pierre Clairambault, Glynn Winskel
2015 — conf
Undecidability of Equality in the Free Locally Cartesian Closed Category.
TLCA
Simon Castellan, Pierre Clairambault, Peter Dybjer
2015 J jnl
Undecidability of Equality in the Free Locally Cartesian Closed Category.
CoRR
Simon Castellan, Pierre Clairambault, Peter Dybjer
2014 J jnl
Concurrent Hyland-Ong games.
CoRR
Simon Castellan, Pierre Clairambault, Glynn Winskel
2014 — conf
Symmetry in concurrent games.
CSL-LICS
Simon Castellan, Pierre Clairambault, Glynn Winskel
2014 J jnl
The biequivalence of locally cartesian closed categories and Martin-Löf type theories.
Math. Struct. Comput. Sci.
Pierre Clairambault, Peter Dybjer
2013 — conf
Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction.
TLCA
Pierre Clairambault
2013 — conf
Böhm Trees as Higher-Order Recursive Schemes.
FSTTCS
Pierre Clairambault, Andrzej S. Murawski
2013 — conf
Imperfect Information in Logic and Concurrent Games.
Computation, Logic, Games, and Quantum Foundations
Pierre Clairambault, Julian Gutierrez, Glynn Winskel
2013 B conf
On Concurrent Games with Payoff.
MFPS
Pierre Clairambault, Glynn Winskel
2013 J jnl
Strong functors and interleaving fixpoints in game semantics.
RAIRO Theor. Informatics Appl.
Pierre Clairambault
2012 J jnl
Isomorphisms of types in the presence of higher-order references (extended version)
Log. Methods Comput. Sci.
Pierre Clairambault
2012 A* conf
The Winning Ways of Concurrent Games.
LICS
Pierre Clairambault, Julian Gutierrez, Glynn Winskel
2011 B conf
Estimation of the Length of Interactions in Arena Game Semantics.
FoSSaCS
Pierre Clairambault
2011 J jnl
Estimation of the length of interactions in arena game semantics
CoRR
Pierre Clairambault
2011 A* conf
Isomorphisms of Types in the Presence of Higher-Order References.
LICS
Pierre Clairambault
2011 J jnl
Isomorphisms of types in the presence of higher-order references
CoRR
Pierre Clairambault
2011 J jnl
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories
CoRR
Pierre Clairambault, Peter Dybjer
2011 — conf
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories.
TLCA
Pierre Clairambault, Peter Dybjer
2010 J jnl
Least and greatest fixpoints in game semantics
CoRR
Pierre Clairambault
2010 — —
Logique et Interaction : une Étude Sémantique de la Totalité. (Logic and Interaction : a Semantic Study of Totality).
Pierre Clairambault
2010 J jnl
Totality in arena games.
Ann. Pure Appl. Log.
Pierre Clairambault, Russ Harmer
2009 — conf
Least and Greatest Fixpoints in Game Semantics.
FICS
Pierre Clairambault
2009 B conf
Least and Greatest Fixpoints in Game Semantics.
FoSSaCS
Pierre Clairambault