Admissibility of Fixpoint Induction over Partial Types.

Karl Crary

Browse the full CADE paper archive.