Fridlender, Daniel. “An Interpretation of the Fan Theorem in Type Theory”. BRICS Report Series 5, no. 39 (June 9, 1998). Accessed December 18, 2024. https://tidsskrift.dk/brics/article/view/19484.