A semantic characterization of the well-typed formulae of \(\lambda\)- calculus
scientific article; zbMATH DE number 166978