bibliographer - Pierre Clairambault

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Towards A Rosetta Stone of Interactive and Quantitative Semantics (Invited Talk) Pierre Clairambault [github]

The Qualitative Collapse of Concurrent Games Pierre Clairambault [github]

From Thin Concurrent Games to Generalized Species of Structures Pierre Clairambault Federico Olimpieri Hugo Paquet [github]

The Cartesian Closed Bicategory of Thin Spans of Groupoids Pierre Clairambault Simon Forest [github]

Disentangling Parallelism and Interference in Game Semantics Simon Castellan Pierre Clairambault [github]

Advanced Topics in Semantics of Programming Languages Pierre Clairambault Colin Riba [github]

Linearity in Higher-order Recursion Schemes Pierre Clairambault Charles Grellois Andrzej S. Murawski [github]

Game Semantics and Normalization by Evaluation Pierre Clairambault Peter Dybjer [github]

Symmetry in Concurrent Games Simon Castellan Pierre Clairambault Glynn Winskel [github]

Bøhm Trees as Higher-Order Recursive Schemes Pierre Clairambault Andrzej S. Murawski [github]

Least and Greatest Fixpoints in Game Semantics Pierre Clairambault [github]

Semantique de Jeux et Decidabilite dans PCF Pierre Clairambault [github]

The concurrent game semantics of Probabilistic PCF Simon Castellan Pierre Clairambault Hugo Paquet Glynn Winskel [github]

Library Size: 13G (13 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]