Asaf Karagila. Realizing Realizability Results with Classical Constructions. Bulletin of Symbolic Logic, 25(4):429-445, 2019. [doi]
@article{Karagila19-0,
title = {Realizing Realizability Results with Classical Constructions},
author = {Asaf Karagila},
year = {2019},
doi = {10.1017/bsl.2019.59},
url = {https://doi.org/10.1017/bsl.2019.59},
researchr = {https://researchr.org/publication/Karagila19-0},
cites = {0},
citedby = {0},
journal = {Bulletin of Symbolic Logic},
volume = {25},
number = {4},
pages = {429-445},
}