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. In Proc. of ICGT '23, pages 3–21. Springer, 2023. LNCS 13961.

Suggested BibTeX entry:

@inproceedings{BEKMP23a,
    author = {Paolo Baldan and Richard Eggert and Barbara K\"onig and Timo Matt and Tommaso Padoan},
    booktitle = {Proc. of ICGT '23},
    note = {{LNCS} 13961},
    pages = {3--21},
    publisher = {Springer},
    title = {A Monoidal View on Fixpoint Checks},
    year = {2023}
}

Extended versionThis work is not available online here.