Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions.

Yannick Forster, Dominik Kirst, Niklas Mck

Browse the full APLAS paper archive.