Disputation
On 16 december
-
16decDisputationonsdag 2020-12-16, 13.00Respondent: Johan Lindberg , Stockholms universitet2020-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) Johan Lindberg: Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory (Disputation)