Parallelizations in Weihrauch reducibility and constructive reverse mathematics
scientific article; zbMATH DE number 7633495
scientific article