Publikationer pr. år
Publikationer pr. år
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
A denotationally-based program logic for higher-order store
Aagaard, F. L., Sterling, J. & Birkedal, L., 2023, I: Electronic Notes in Theorical Informatics and Computer Science. 3Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Konferenceartikel › Forskning › peer review
Åben adgangFil1 Downloads (Pure) -
Unifying Cubical and Multimodal Type Theory
Aagaard, F. L., Kristensen, M., Gratzer, D. & Birkedal, L., 2022. 3 s.Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › peer review
Åben adgang
Aktiviteter
- 1 Foredrag og mundtlige bidrag
-
Unifying Cubical and Multimodal Type Theory
Aagaard, F. L. (Foredragsholder)
21 jun. 2022Aktivitet: Præsentationer, medlemskaber, ansættelser, ejerskab og andre aktiviteter › Foredrag og mundtlige bidrag