Frederik Lerbjerg Aagaard - Activities - Aarhus University

Emailaagaardcs.audk

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

Research activity per year

1 Lecture and oral contribution

1 results
- Title
- Start date(ascending)

Unifying Cubical and Multimodal Type Theory
Aagaard, F. L. (Lecturer)
21 Jun 2022
Activity: Presentations, memberships, employment, ownership and other activities › Lecture and oral contribution