Mathematical induction in ramified type theory
scientific article; zbMATH DE number 3292824