Nr. 39 (1998): RS-39 An Interpretation of the Fan Theorem in Type Theory

Publiceret: 1998-06-09