Report copyright - Higher Dimensional Type Theory - Nicolai Kraus · 2020-05-14 · set theory has inherent disadvantages, he started to develop his Univalent Foundations of Mathematics, drawing a notable
Please pass captcha verification before submit form