Research output per year
Research output per year
Fingerprint
Dive into the research topics where Glynn Winskel is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 14 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
Game semantics for quantum programming
Clairambault, P., De Visme, M. & Winskel, G., 2 Jan 2019, In: Proceedings of the ACM on Programming Languages (PACMPL). 3, POPL, 29 p., 32.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
The concurrent game semantics of Probabilistic PCF
Castellan, S., Clairambault, P., Paquet, H. & Winskel, G., 31 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. New York, p. 215-224 10 p. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile11 Citations (Scopus)1 Downloads (Pure)