TY - RPRT TI - Instance reducibility and Weihrauch degrees AU - Andrej Bauer PY - 2022 DO - 10.46298/lmcs-18(3:20)2022 UR - https://arxiv.org/abs/2106.01734 ID - 2106.01734 ER -