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