Thierry Coquand, Bassel Mannaa
The Independence of Markov's Principle in Type Theory
FSCD, 2016.
@inproceedings{FSCD-2016-CoquandM, author = "Thierry Coquand and Bassel Mannaa", booktitle = "{Proceedings of the First International Conference on Formal Structures for Computation and Deduction}", doi = "10.4230/LIPIcs.FSCD.2016.17", isbn = "978-3-95977-010-1", pages = "18", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{The Independence of Markov's Principle in Type Theory}", year = 2016, }