Frederik Lerbjerg Aagaard | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jonathan Sterling
23 publications
Lars Birkedal
15 publications
Daniel Gratzer
13 publications
Magnus Baunsgaard Kristensen
2 publications

research

∙ 08/05/2023

A denotationally-based program logic for higher-order store

Separation logic is used to reason locally about stateful programs. Stat...

0 Frederik Lerbjerg Aagaard, et al. ∙

research

∙ 03/24/2022

Unifying cubical and multimodal type theory

In this paper we combine the principled approach to programming with mod...

0 Frederik Lerbjerg Aagaard, et al. ∙