Fixpoint Theory – Upside Down
Reference
Paolo Baldan, Richard Eggert, Barbara König, and Tommaso Padoan. Fixpoint theory – upside down. Logical Methods in Computer Science, 19(2:15), June 2023. Selected Papers of the 24th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022).
Suggested BibTeX entry:
@article{BEKP23b,
author = {Paolo Baldan and Richard Eggert and Barbara K{\"o}nig and Tommaso Padoan},
journal = {Logical Methods in Computer Science},
month = {June},
note = {Selected Papers of the 24th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022)},
number = {2:15},
title = {Fixpoint Theory -- Upside Down},
volume = {19},
year = {2023}
}
