Dissertation
Wed 16 December
-
Dissertation
Wednesday 2020-12-16, 13:00
Location: Zoom, meeting ID: 656 5606 4762
Doctoral student: Johan Lindberg , Stockholms universitet
2020-12-16T13:00:00.000+01:00 2020-12-16T13:00:00.000+01:00 Johan Lindberg: Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory (Dissertation) Zoom, meeting ID: 656 5606 4762 (KTH, Stockholm, Sweden)Johan Lindberg: Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory (Dissertation)