Similar Items: Categorifying computable reducibilities
- The degree structure of Weihrauch-reducibility
- Instance reducibility and Weihrauch degrees
- Borel-piecewise continuous reducibility for uniformization problems
- A Reduced Semantics for Deciding Trace Equivalence
- Small Promise CSPs that reduce to large CSPs
- On completeness of reducibility candidates as a semantics of strong normalization