NEW PAPERS, RESEARCH VISITS, TALKS & CONFERENCES

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

  • July 7-10th, 2019. I had a research visit to the Department of Mathematics, Stockholm University.

  • Nov. 7-10th, 2017. I had a research visit to the Department of Mathematics, Stockholm University.