Partial inductive definitions as type-systems for \(\lambda\)-terms
scientific article; zbMATH DE number 438466