Daniel Gratzer's PhD defence of "Syntax and Semantics of Modal Type Theory"
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