61 citations · 74 across the 4 of their papers we have counts for
1 paper · 1 filter
Nuria Brede, Hugo Herbelin
We develop an approach to choice principles and their contrapositive bar-induction principles as extensionality schemes connecting an ''intensional'' or ''effective'' view of respe…