Disputation
On 16 december
-
Disputation
onsdag 2020-12-16, 13.00
Plats: Zoom, meeting ID: 656 5606 4762
Respondent: 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 (Disputation) Zoom, meeting ID: 656 5606 4762 (KTH, Stockholm, Sweden)Johan Lindberg: Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory (Disputation)