Pierre Clairambault

Available identifiers

zbMath Open clairambault.pierreMaRDI QIDQ265793

List of research outcomes

Publication	Date of Publication	Type
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
Distributed Strategies Made Easy	2020-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q5111308	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 (extended version)	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	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pierre Clairambault