Professor Glynn Winskel
Computer and Information Sciences
Back to staff profile
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
Back to staff profile
Contact
Professor
Glynn
Winskel
Computer and Information Sciences
Email: glynn.winskel@strath.ac.uk
Tel: 548 3301