The Kleene-Post and Post's Theorem in the Calculus of Inductive Constructions.

Yannick Forster, Dominik Kirst, Niklas Mck

Browse the full CSL paper archive.