Frederik Lerbjerg Aagaard

According to our database, Frederik Lerbjerg Aagaard authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Unifying cubical and multimodal type theory.

Frederik Lerbjerg Aagaard, Magnus Baunsgaard Kristensen, Daniel Gratzer, Lars Birkedal

Log. Methods Comput. Sci., 2024

2023

A denotationally-based program logic for higher-order store.

Frederik Lerbjerg Aagaard, Jonathan Sterling, Lars Birkedal

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023