TY  - RPRT
TI  - Games for Topological Fixpoint Logic
AU  - Nick Bezhanishvili
AU  - Clemens Kupke
PY  - 2016
DO  - 10.4204/eptcs.226.4
UR  - https://arxiv.org/abs/1609.04088
ID  - 1609.04088
ER  -