Daniel Gratzer's PhD defence of "Syntax and Semantics of Modal Type Theory"
![](/fileadmin/_processed_/3/c/csm_Daniel_Gratzer_dba3d69d17.jpg)
Oplysninger om arrangementet
Tidspunkt
Sted
Building 5342, room Ada-333, Department of Computer Science, Aarhus University, Åbogade 34, 8200 Aarhus N
Pris
Free DKK
On Friday, October 27 2023, Daniel Gratzer will defend his PhD thesis: Syntax and Semantics of Modal Type Theory