Aarhus University Seal

Daniel Gratzer's PhD defence of "Syntax and Semantics of Modal Type Theory"

Info about event


Friday 27 October 2023, at 13:00 - at


Building 5342, room Ada-333, Department of Computer Science, Aarhus University, Åbogade 34, 8200 Aarhus N


Free DKK

On Friday, October 27 2023, Daniel Gratzer will defend his PhD thesis: Syntax and Semantics of Modal Type Theory

Read more here.