TY  - RPRT
TI  - Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
AU  - Yannick Forster
AU  - Dominik Kirst
AU  - Niklas Mück
PY  - 2023
UR  - https://arxiv.org/abs/2307.15543
ID  - 2307.15543
ER  -