Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A denotationally-based program logic for higher-order store
Aagaard, F. L., Sterling, J. & Birkedal, L., 2023, In: Electronic Notes in Theorical Informatics and Computer Science. 3Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review
Open AccessFile -
Unifying Cubical and Multimodal Type Theory
Aagaard, F. L., Kristensen, M., Gratzer, D. & Birkedal, L., 2022. 3 p.Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
Open Access
Activities
- 1 Lecture and oral contribution
-
Unifying Cubical and Multimodal Type Theory
Aagaard, F. L. (Lecturer)
21 Jun 2022Activity: Presentations, memberships, ownership and other activities › Lecture and oral contribution