arXiv - CSCL: "Oracle Computability and Turing Reducibility in t…" - Qoto Mastodon

arXiv - CSCL @arxiv_cscl@qoto.org

Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. (arXiv:2307.15543v1 [cs.LO])

http://arxiv.org/abs/2307.15543 #arXiv #NLProc

Jul 31, 2023, 03:17 · · arxiv-cscl · · ·

Sign in to participate in the conversation