Thierry Coquand, Bassel Mannaa. The Independence of Markov's Principle in Type Theory. Logical Methods in Computer Science, 13(3), 2017. [doi]
@article{CoquandM17,
title = {The Independence of Markov's Principle in Type Theory},
author = {Thierry Coquand and Bassel Mannaa},
year = {2017},
doi = {10.23638/LMCS-13(3:10)2017},
url = {https://doi.org/10.23638/LMCS-13(3:10)2017},
researchr = {https://researchr.org/publication/CoquandM17},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {13},
number = {3},
}