D. Fridlender, “An Interpretation of the Fan Theorem in Type Theory”, BRICS, vol. 5, no. 39, Jun. 1998.