Abstraction, Up-to Techniques and Games for Systems of Fixpoint ...

Reference

Paolo Baldan, Barbara König, and Tommaso Padoan. Abstraction, up-to techniques and games for systems of fixpoint equations, 2020. arXiv:2003.08877.

Suggested BibTeX entry:

@misc{BKP20a,
    author = {Paolo Baldan and Barbara K\"onig and Tommaso Padoan},
    note = {arXiv:2003.08877},
    title = {Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations},
    year = {2020}
}

See arxiv.org ...Conference version