Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
From MaRDI portal
Publication:6445465
arXiv2307.15543MaRDI QIDQ6445465
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)
