101 citations · 491 across the 53 of their papers we have counts for
1 paper · 2 filters
Arno Pauly
Multi-valued functions are common in computable analysis (built upon the Type 2 Theory of Effectivity), and have made an appearance in complexity theory under the moniker search pr…