A Monoidal View on Fixpoint Checks

Reference

Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, and Tommaso Padoan. A monoidal view on fixpoint checks, 2023. arXiv:2305.02957.

Suggested BibTeX entry:

@misc{BEKMP23b,
    author = {Paolo Baldan and Richard Eggert and Barbara K\"onig and Timo Matt and Tommaso Padoan},
    note = {arXiv:2305.02957},
    title = {A Monoidal View on Fixpoint Checks},
    year = {2023}
}

See arxiv.org ...Conference version