Samuele Maschio, Pietro Sabelli. On the Compatibility Between the Minimalist Foundation and Constructive Set Theory. In Ulrich Berger 0001, Johanna N. Y. Franklin, Florin Manea, Arno Pauly, editors, Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings. Volume 13359 of Lecture Notes in Computer Science, pages 172-185, Springer, 2022. [doi]
Abstract is missing.