62 citations · 126 across the 28 of their papers we have counts for
1 paper · 1 filter
Benno van den Berg, Robert Passmann
In this paper we try to find a computational interpretation for a strong form of extensionality, which we call "converse extensionality". Converse extensionality principles, which…