@inproceedings{LOPEZ23,
author = {Lopez, Aliaume},
booktitle = {Foundations of Software Science and Computation Structures},
doi = {10.1007/978-3-031-30829-1_22},
editor = {Kupferman, Orna and Sobocinski, Pawel},
eprint = {2207.07614},
isbn = {978-3-031-30828-4},
pages = {456--476},
publisher = {Springer Nature Switzerland},
shortlocation = {FoSSACS'23},
title = {Fixed Points and Noetherian Topologies},
url = {https://link.springer.com/chapter/10.1007/978-3-031-30829-1_22},
volume = {13992},
year = {2023}
}