NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES
-
Nov. 7-10th, 2017. Research visit to Department of Mathematics, Stockholm University.
-
July 7-10th, 2019. Research visit to Department of Mathematics, Stockholm University.
-
July 28th, 2020. Solved one of the long-standing open problems in constructive mathematics in the affirmative: the consistency of intensional Martin-Löf type theory with formal Church's thesis. A preprint is available.