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