1 citations · 2 across the 14 of their papers we have counts for
1 paper · 1 filter
Norihiro Yamada
The present paper gives a generalization of cartesian closed categories, called cartesian closed categories with dependence, whose strict version induces categories with families t…