Pierre Clairambault

Available identifiers

zbMath Open clairambault.pierreMaRDI QIDQ265793

List of research outcomes

Publication	Date of Publication	Type
Disentangling parallelism and interference in game semantics	2024-11-12	Paper
Strategies as resource terms, and their categorical semantics	2024-10-21	Paper
The mays and musts of concurrent strategies	2024-10-01	Paper
A tale of additives and concurrency in game semantics	2024-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q6159934	2023-06-23	Paper
The Cartesian Closed Bicategory of Thin Spans of Groupoids	2023-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q5092412	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5079725	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5079740	2022-05-28	Paper
Categories with Families: Unityped, Simply Typed, and Dependently Typed	2021-12-08	Paper
The concurrent game semantics of Probabilistic PCF	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5111308	2020-05-26	Paper
Distributed Strategies Made Easy	2020-05-26	Paper
Resource-tracking concurrent games	2020-01-28	Paper
Concurrent Quantum Strategies	2019-10-17	Paper
Thin Games with Symmetry and Concurrent Hyland-Ong Games	2019-03-18	Paper
Non-angelic concurrent game semantics	2018-07-17	Paper
Symmetry in concurrent games	2018-04-23	Paper
The Parallel Intensionally Fully Abstract Games Model of PCF	2018-04-23	Paper
Causality vs. interleavings in concurrent game semantics	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4596801	2017-12-11	Paper
Games and Strategies as Event Structures	2017-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5277836	2017-07-12	Paper
The Winning Ways of Concurrent Games	2017-05-16	Paper
Böhm trees as higher-order recursion schemes	2017-02-21	Paper
The biequivalence of locally cartesian closed categories and Martin-Löf type theories	2016-07-26	Paper
On concurrent games with payoff	2016-04-12	Paper
Game Semantics and Normalization by Evaluation	2015-10-01	Paper
Bounding linear head reduction and visible interaction through skeletons	2015-08-25	Paper
Strong functors and interleaving fixpoints in game semantics	2013-08-13	Paper
Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction	2013-06-28	Paper
Imperfect Information in Logic and Concurrent Games	2013-05-28	Paper
Isomorphisms of types in the presence of higher-order references	2012-08-15	Paper
Totality in arena games	2011-08-26	Paper
The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories	2011-06-17	Paper
Estimation of the Length of Interactions in Arena Game Semantics	2011-05-19	Paper
Least and Greatest Fixpoints in Game Semantics	2009-03-31	Paper
An Analysis of Symmetry in Quantitative Semantics	N/A	Paper

Research outcomes over time

This page was built for person: Pierre Clairambault