No photo of Glynn Winskel

View Scopus Profile

Glynn Winskel

Prof

  • United Kingdom

If you made any changes in Pure these will be visible here soon.

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.
  • 1 Similar Profiles
View full fingerprint

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 4 Conference contribution book
  • 2 Article

  • 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 Access
    File
    7 Citations (Scopus)
    4 Downloads (Pure)

  • The true concurrency of Herbrand's theorem

    Alcolei, A., Clairambault, P., Hyland, M. & Winskel, G., 29 Aug 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. R. & Jung, A. (eds.). Dagstuhl, Germany, p. 5:1-5:22 22 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 119).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

    Open Access
    File
    4 Citations (Scopus)
    3 Downloads (Pure)
View all 6 research outputs