Admissibility of Fixpoint Induction over Partial Types (1998)

by Karl Crary
Venue:Automated deduction --- CADE-15. Lect. Notes in Comp. Sci