Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions

MaRDI QIDQ6445465zbMATH OpenFDO

Authors Yannick Forster, Dominik Kirst, Niklas Mück

Publication date 28 July 2023

Has companion code repository https://github.com/uds-psl/coq-synthetic-computability

This page was built for publication: Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6445465)