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

by Maria Emilia Maietti
Citations:19 - 7 self