View of An Interpretation of the Fan Theorem in Type Theory

Return to Article Details An Interpretation of the Fan Theorem in Type Theory Download Download PDF