82 citations · 120 across the 21 of their papers we have counts for
1 paper · 1 filter
Maria Emilia Maietti
We present a two-level theory to formalize constructive mathematics as advocated in a previous paper with G. Sambin. One level is given by an intensional type theory, called Minima…