Glynn Winskel

Prof

  • United Kingdom

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

Search results

  • 2019

    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 journalArticlepeer-review

    Open Access
    File
    3 Downloads (Pure)
  • 2018

    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 proceedingConference contribution book

    Open Access
    File
    12 Citations (Scopus)
    2 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 proceedingConference contribution book

    Open Access
    File
    2 Citations (Scopus)
    2 Downloads (Pure)
  • 2017

    Games and strategies as event structures

    Castellan, S., Clairambault, P., Rideau, S. & Winskel, G., 28 Sep 2017, In: Logical Methods in Computer Science. 13, 3, 49 p., 35.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    File
    11 Citations (Scopus)
    3 Downloads (Pure)
  • 2015

    The parallel intensionally fully abstract games model of PCF

    Castellan, S., Clairambault, P. & Winskel, G., 31 Jul 2015, Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015. p. 232-243 12 p. 7174885. (Proceedings - Symposium on Logic in Computer Science; vol. 2015-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    16 Citations (Scopus)
  • 2014

    Symmetry in concurrent games

    Castellan, S., Clairambault, P. & Winskel, G., 31 Jul 2014, CSL-LICS '14 : Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, NY., p. 1-10 10 p. 28

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
    13 Citations (Scopus)
    1 Downloads (Pure)