Hajime Ishihara. Weak König s Lemma Implies Brouwer s Fan Theorem: A Direct Proof. Notre Dame Journal of Formal Logic, 47(2):249-252, 2006. [doi]
@article{Ishihara06, title = {Weak König s Lemma Implies Brouwer s Fan Theorem: A Direct Proof}, author = {Hajime Ishihara}, year = {2006}, url = {http://projecteuclid.org/euclid.ndjfl/1153858649}, researchr = {https://researchr.org/publication/Ishihara06}, cites = {0}, citedby = {0}, journal = {Notre Dame Journal of Formal Logic}, volume = {47}, number = {2}, pages = {249-252}, }