pith. sign in

Glynn Winskel

Identifiers

  • name variant Glynn Winskel 0.60 · backfill

Papers (6)

  1. Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures math.CT · 2016 · author #4
  2. Distributed Games and Strategies cs.LO · 2016 · author #1
  3. Strategies with Parallel Causes cs.LO · 2016 · author #2
  4. Games and Strategies as Event Structures math.LO · 2016 · author #4
  5. Proceedings 8th International Workshop on Developments in Computational Models cs.LO · 2014 · author #2
  6. Independence and concurrent separation logic cs.LO · 2008 · author #2

Mentions

  • 1403.7579 #2 · backfill · confidence 0.70 Glynn Winskel
  • 0802.0820 #2 · backfill · confidence 0.70 Glynn Winskel

Frequent Coauthors