NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES

Sept. 21st, 2020. I gave an online talk on the consistency of intensional MartinLöf type theory with formal Church's thesis at the Mathematical Logic Seminar hosted by the Department of Mathematics, the University of Padova.

July 710th, 2019. I had a research visit to the Department of Mathematics, Stockholm University.

Nov. 710th, 2017. I had a research visit to the Department of Mathematics, Stockholm University.