Fixpoint Theory – Upside Down

Reference

Paolo Baldan, Richard Eggert, Barbara König, and Tommaso Padoan. Fixpoint theory – upside down. In Proc. of FOSSACS '21, pages 62–81. Springer, 2021. LNCS/ARCoSS 12650.

Suggested BibTeX entry:

@inproceedings{BEKP21,
    author = {Paolo Baldan and Richard Eggert and Barbara K{\"o}nig and Tommaso Padoan},
    booktitle = {Proc. of FOSSACS~'21},
    note = {{LNCS/ARCoSS} 12650},
    pages = {62--81},
    publisher = {Springer},
    title = {Fixpoint Theory -- Upside Down},
    year = {2021}
}

Journal versionThis work is not available online here.