Fridlender, D. An Interpretation of the Fan Theorem in Type Theory. BRICS 1998, 5.