Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq.

Yannick Forster, Felix Jahn

Browse the full CSL paper archive.