Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics

Makoto Fujiwara. Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics. In Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly, editors, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings. Volume 12098 of Lecture Notes in Computer Science, pages 38-49, Springer, 2020. [doi]

Abstract

Abstract is missing.