@article{aagaard-2023-a, title={A denotationally-based program logic for higher-order store}, volume={3}, ISSN={2969-2431}, url={http://dx.doi.org/10.46298/entics.12232}, DOI={10.46298/entics.12232}, journal={Electronic Notes in Theoretical Informatics and Computer Science}, publisher={Centre pour la Communication Scientifique Directe (CCSD)}, author={Aagaard, Frederik Lerbjerg and Sterling, Jonathan and Birkedal, Lars}, year={2023}, month=Nov }