The theory of homogeneous simple types as a second order logic
scientific article; zbMATH DE number 3490937