Seminarium
Evenemanget har passerat

Licentiatseminarium Data- och informationsteknik: Oskar Eriksson

Titel: "Graded Modal Type Theory, Formalized".

Lägg till i OutlookLägg till i Google kalender

Översikt

Evenemanget har passerat

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

Diskussionsledare: Dominic Orchard, University of Kent.

Oskar Eriksson
  • Doktorand, Computing Science, Data- och informationsteknik
Kontakt
Licentiatseminarium Data- och informationsteknik: Oskar Eriksson | Chalmers