Martin Bidlingmaier PhD defence of "Probabilistic Programming and Multiverse Models of Type Theory"
Oplysninger om arrangementet
Tidspunkt
Sted
Ada, Building 5342, room 333, Department of Computer Science, Aarhus University, Åbogade 34, 8200 Aarhus N
Pris
Free DKK
On Friday 22 April 2022 Martin Bidlingmaier will defend his PhD thesis: Probabilistic Programming and Multiverse Models of Type Theory