Philipp Stassen´s PhD defence of "Programming language semantics in modal type theories"
Oplysninger om arrangementet
Tidspunkt
Sted
5342-333 Ada
Pris
Free DKK
On Friday, August 9 2024, Philipp Stassen will defend the PhD thesis: Programming language semantics in modal type theories