Typing untyped \(\lambda\)-terms, or reducibility strikes again!
meta-theorems relating properties of \(\lambda\)-terms and their typability
scientific article; zbMATH DE number 1308055
scientific article