Pierre Clairambault
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Henning Urbat6 talks
- Jean-Philippe Bernardy5 talks
- Gabriel Scherer12 talks
- François Pottier14 talks
- Stelios Tsampas7 talks
- Vikraman Choudhury10 talks
| title | conference | date |
|---|---|---|
| Taylor Expansion is Game Semantics | GALOP 2024 | 2024-01-14 |
This work shows that the Taylor expansion of a simply-typed λ-term is isomorphic to its interpretation in pointer concurrent games, extending Tsukada and Ong’s… | ||
| The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Un... | POPL 2023 | 2023-01-15 |
A compositional interpreter builds a multi-token machine for Idealized Parallel Algol and implements terms as coloured Petri nets that run concurrent tokens… | ||
| nothing matches | ||