Licentiatseminarium Data- och informationsteknik: Oskar Eriksson

Titel: "Graded Modal Type Theory, Formalized".

Maj

8

09:30 - 11:30

Lägg till i Outlook Lägg till i Google kalender

Översikt

Datum:Startar 8 maj 2025, 09:30Slutar 8 maj 2025, 11:30
Plats:
Campus Johanneberg, HB4 (Öppnas i ny flik)
Språk:Engelska

Oskar Eriksson, doktorand vid Göteborgs universitet, presenterar sin licentiatuppsats med titeln: "Graded Modal Type Theory, Formalized".

Diskussionsledare: Dominic Orchard, University of Kent.