Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions

Yannick Forster 0002, Dominik Kirst, Niklas Mück. Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions. In Chung-Kil Hur, editor, Programming Languages and Systems - 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings. Volume 14405 of Lecture Notes in Computer Science, pages 155-181, Springer, 2023. [doi]

Authors

Yannick Forster 0002

This author has not been identified. Look up 'Yannick Forster 0002' in Google

Dominik Kirst

This author has not been identified. Look up 'Dominik Kirst' in Google

Niklas Mück

This author has not been identified. Look up 'Niklas Mück' in Google