TY  - RPRT
TI  - Lovász-Type Theorems and Game Comonads
AU  - Anuj Dawar
AU  - Tomáš Jakl
AU  - Luca Reggio
PY  - 2021
DO  - 10.1109/lics52264.2021.9470609
UR  - https://arxiv.org/abs/2105.03274
ID  - 2105.03274
ER  -