Philipp Stassen´s PhD defence of "Programming language semantics in modal type theories"
Info about event
Time
Location
5342-333 Ada
Price
Free DKK
On Friday, August 9 2024, Philipp Stassen will defend the PhD thesis: Programming language semantics in modal type theories