Typing theorems of omega algebra
scientific article; zbMATH DE number 6126068
scientific article