Ludos sicut Mathematica

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.  

• Aug. 12-17th, 2019. I participated in HoTT 2019.

• 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.