Glynn Winskel

Prof

  • United Kingdom

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution book

Search results

  • 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)
  • 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)