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