A denotationally-based program logic for higher-order store

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearchpeer-review

Original languageEnglish
JournalElectronic Notes in Theorical Informatics and Computer Science
Volume3
ISSN2969-2431
DOIs
Publication statusPublished - 2023

Cite this