bibliographer - Simon Castellan

bibliographer a curated TCS bibliography

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

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

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

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

Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side Simon Castellan Nobuko Yoshida [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]