@inbook{gratzer-2025-idempotent, title={Idempotent Resources in Separation Logic: The Heart of core in Iris}, ISBN={9783031908972}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-90897-2_3}, DOI={10.1007/978-3-031-90897-2_3}, booktitle={Foundations of Software Science and Computation Structures}, publisher={Springer Nature Switzerland}, author={Gratzer, Daniel and Møller, Mathias Adam and Birkedal, Lars}, year={2025}, pages={45–66} }