"Higher-Order Tarski Grothendieck as a Foundation for Formal Proof."

Chad E. Brown, Cezary Kaliszyk, Karol Pak (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics