14 citations · 34 across the 9 of their papers we have counts for
1 paper · 2 filters
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…