A simple proof of a theorem of Statman
\(\beta\eta\)-equality of first-order typeable \(\lambda\)-terms
scientific article; zbMATH DE number 94466