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]

@inproceedings{Fujiwara20,
  title = {Parallelizations in Weihrauch Reducibility and Constructive Reverse Mathematics},
  author = {Makoto Fujiwara},
  year = {2020},
  doi = {10.1007/978-3-030-51466-2_4},
  url = {https://doi.org/10.1007/978-3-030-51466-2_4},
  researchr = {https://researchr.org/publication/Fujiwara20},
  cites = {0},
  citedby = {0},
  pages = {38-49},
  booktitle = {Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings},
  editor = {Marcella Anselmo and Gianluca Della Vedova and Florin Manea and Arno Pauly},
  volume = {12098},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-51466-2},
}