A minimalist two-level foundation for constructive mathematics (811)

by Maria Emilia Maietti
Citations:3 - 1 self