Fridlender, D. 1998. An Interpretation of the Fan Theorem in Type Theory. BRICS Report Series. 5, 39 (Jun. 1998). DOI:https://doi.org/10.7146/brics.v5i39.19484.