Frederik Lerbjerg Aagaard - Publikation - Aarhus Universitet

E-mailaagaardcs.audk

Åbogade 34
8200 Aarhus N
Danmark
Åbogade 34, 5341, 117
8200 Aarhus N
Danmark

Publikationer pr. år

1 Konferenceabstrakt til konference
1 Konferenceartikel

1 resultater

Filter

2022

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