Maria Emilia Maietti Giovanni Sambin Toward a minimalistic foundation for constructive mathematics. 2005 From sets and types to topology and analysis books/ox/05/CS2005 db/books/collections/CS2005.html#MaiettiS05