An intuitionistic version of Ramsey's theorem and its use in program termination
scientific article; zbMATH DE number 6487142
scientific article