Professor Glynn Winskel

Publications

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

The true concurrency of Herbrand's theorem

Alcolei Aurore, Clairambault Pierre, Hyland Martin, Winskel Glynn

27th EACSL Annual Conference on Computer Science Logic (CSL 2018) 27th Annual EACSL Conference Computer Science Logic, CSL 2018 Leibniz International Proceedings in Informatics, LIPIcs Vol 119, pp. 5:1-5:22 (2018)

https://doi.org/10.4230/LIPIcs.CSL.2018.5

More publications