Admissibility of Fixpoint Induction over Partial Types (1998)

by K Crary
Venue:In Automated Deduction - CADE-15