On the Compatibility Between the Minimalist Foundation and Constructive Set Theory.

Samuele Maschio, Pietro Sabelli

Browse the full CiE paper archive.