PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS
scientific article; zbMATH DE number 33234