Divergence of \(F_{\leq}\) type checking
scientific article; zbMATH DE number 985860