Seminar
The event has passed

Licentiate seminar, Computer Science and Engineering: Oskar Eriksson

Title: "Graded Modal Type Theory, Formalized"

Add to OutlookAdd to Google Calendar

Overview

The event has passed

Oskar Eriksson is a PhD student at the University of Gothenburg and will be presenting his licentiate thesis titled: "Graded Modal Type Theory, Formalized".

Discussion leader: Dominic Orchard, University of Kent.

Oskar Eriksson
  • Doctoral Student, Computing Science, Computer Science and Engineering
Contact