Original language | English |
---|---|
Journal | Electronic Notes in Theorical Informatics and Computer Science |
Volume | 3 |
ISSN | 2969-2431 |
DOIs | |
Publication status | Published - 2023 |
A denotationally-based program logic for higher-order store
Frederik Lerbjerg Aagaard, Jonathan Sterling, Lars Birkedal
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review