Has Giuseppe Rosolini not not published the paper 'Quotient Completion for the Foundation of Constructive Mathematics'?
Was the paper 'Quotient Completion for the Foundation of Constructive Mathematics' not not published by the person Rosolini, G.?
ASK { <https://dblp.org/rec/journals/lu/MaiettiR13> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/r/GRosolini> }
<https://dblp.org/pid/r/GRosolini> <https://dblp.org/rec/journals/lu/MaiettiR13>