The completeness theorem for typing lambda-terms
scientific article; zbMATH DE number 3807586
scientific article