The following pages link to Pierre Clairambault (Q265793):
Displaying 37 items.
- On concurrent games with payoff (Q265795) (← links)
- Totality in arena games (Q636307) (← links)
- Non-angelic concurrent game semantics (Q1652962) (← links)
- Resource-tracking concurrent games (Q2289061) (← links)
- Strong functors and interleaving fixpoints in game semantics (Q2842239) (← links)
- Isomorphisms of types in the presence of higher-order references (extended version) (Q2904625) (← links)
- Bounding linear head reduction and visible interaction through skeletons (Q2941754) (← links)
- Game Semantics and Normalization by Evaluation (Q2948551) (← links)
- Böhm trees as higher-order recursion schemes (Q2963900) (← links)
- The Winning Ways of Concurrent Games (Q2986800) (← links)
- Estimation of the Length of Interactions in Arena Game Semantics (Q3000619) (← links)
- The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories (Q3007659) (← links)
- Thin Games with Symmetry and Concurrent Hyland-Ong Games (Q3121519) (← links)
- Least and Greatest Fixpoints in Game Semantics (Q3617718) (← links)
- (Q4596801) (← links)
- Causality vs. interleavings in concurrent game semantics (Q4608684) (← links)
- Symmetry in concurrent games (Q4635612) (← links)
- The Parallel Intensionally Fully Abstract Games Model of PCF (Q4635807) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- (Q5079725) (← links)
- (Q5079740) (← links)
- (Q5092412) (← links)
- Distributed Strategies Made Easy (Q5111299) (← links)
- (Q5111308) (← links)
- The concurrent game semantics of Probabilistic PCF (Q5145294) (← links)
- Concurrent Quantum Strategies (Q5237210) (← links)
- (Q5277836) (← links)
- Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction (Q5300897) (← links)
- Games and Strategies as Event Structures (Q5367074) (← links)
- The biequivalence of locally cartesian closed categories and Martin-Löf type theories (Q5740406) (← links)
- (Q6159934) (← links)
- An Analysis of Symmetry in Quantitative Semantics (Q6519621) (← links)
- The mays and musts of concurrent strategies (Q6612785) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)
- Strategies as resource terms, and their categorical semantics (Q6622050) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)
