14 citations · 14 across the 1 of their papers we have counts for
1 paper
Erik Palmgren, Olov Wilander
In this paper we consider the problem of building rich categories of setoids, in standard intensional Martin-Löf type theory (MLTT), and in particular how to handle the problem of…