Publications

Concurrent Games over Relational Structures : The Origin of Game Comonads

Montacute Yoàv, Winskel Glynn

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science LICS '24 Proceedings of the Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 1-14 (2024)

https://doi.org/10.1145/3661814.3662075

The mays and musts of concurrent strategies

Castellan Simon, Clairambault Pierre, Winskel Glynn

Samson Abramsky on Logic and Structure in Computer Science and Beyond (2023) (2023)

https://doi.org/10.1007/978-3-031-24117-8_9

Making concurrency functional

Winskel Glynn

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , pp. 1-14 (2023)

https://doi.org/10.1109/LICS56636.2023.10175727

Making concurrency functional

Winskel Glynn

38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2023)

Causal unfoldings and disjunctive causes

De Visme Marc, Winskel Glynn

Logical Methods in Computer Science Vol 19, pp. 4:1-4:30 (2023)

https://doi.org/10.46298/LMCS-19(2:4)2023

Game semantics for quantum programming

Clairambault Pierre, De Visme Marc, Winskel Glynn

Proceedings of the ACM on Programming Languages (PACMPL) Vol 3 (2019)

https://doi.org/10.1145/3290345

More publications