Glynn Winskel
Identifiers
- name variant Glynn Winskel 0.60 · backfill
Papers (6)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures math.CT · 2016 · author #4
- Distributed Games and Strategies cs.LO · 2016 · author #1
- Strategies with Parallel Causes cs.LO · 2016 · author #2
- Games and Strategies as Event Structures math.LO · 2016 · author #4
- Proceedings 8th International Workshop on Developments in Computational Models cs.LO · 2014 · author #2
- Independence and concurrent separation logic cs.LO · 2008 · author #2
Mentions
Frequent Coauthors
- Benedikt L\"owe 1 shared papers
- Jonathan Hayman 1 shared papers
- Marc de Visme 1 shared papers
- Marcelo Fiore 1 shared papers
- Martin Hyland 1 shared papers
- Nicola Gambino 1 shared papers
- Pierre Clairambault (LIP) 1 shared papers
- Silvain Rideau 1 shared papers
- Simon Castellan (LIP) 1 shared papers