Fixpoint Games on Continuous Lattices

Reference

Paolo Baldan, Barbara König, Christina Mika-Michalski, and Tommaso Padoan. Fixpoint games on continuous lattices. PACMPL (Proc. of POPL '19), 3:26:1–26:29, 2019.

Suggested BibTeX entry:

@article{BKMP19,
    author = {Paolo Baldan and Barbara K\"onig and Christina Mika-Michalski and Tommaso Padoan},
    journal = {{PACMPL} (Proc. of POPL '19)},
    pages = {26:1--26:29},
    publisher = {ACM},
    title = {Fixpoint Games on Continuous Lattices},
    volume = {3},
    year = {2019}
}

See dl.acm.org ...Extended version