23 citations · 34 across the 7 of their papers we have counts for
1 paper · 2 filters
Maria Emilia Maietti, Giuseppe Rosolini
We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional t…