Thierry Coquand, Erik Palmgren. Intuitionistic choice and classical logic. Arch. Math. Log., 39(1):53-74, 2000. [doi]
@article{CoquandP00,
title = {Intuitionistic choice and classical logic},
author = {Thierry Coquand and Erik Palmgren},
year = {2000},
doi = {10.1007/s001530050003},
url = {http://dx.doi.org/10.1007/s001530050003},
tags = {logic},
researchr = {https://researchr.org/publication/CoquandP00},
cites = {0},
citedby = {0},
journal = {Arch. Math. Log.},
volume = {39},
number = {1},
pages = {53-74},
}