2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Cécilia Pradic, Ian Price
We note that Weihrauch problems can be regarded as containers over the category of projective represented spaces and that Weihrauch reductions correspond exactly to container morph…