D. Fridlender, “An Interpretation of the Fan Theorem in Type Theory”, BRICS, bd. 5, nr. 39, jun. 1998.