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