Vasco Brattka, Guido Gherardi. Weihrauch Goes Brouwerian. Journal of Symbolic Logic, 85(4):1614-1653, 2020. [doi]
@article{BrattkaG20, title = {Weihrauch Goes Brouwerian}, author = {Vasco Brattka and Guido Gherardi}, year = {2020}, doi = {10.1017/jsl.2020.76}, url = {https://doi.org/10.1017/jsl.2020.76}, researchr = {https://researchr.org/publication/BrattkaG20}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {85}, number = {4}, pages = {1614-1653}, }