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