"Admissibility of Fixpoint Induction over Partial Types."

Karl Crary (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics