An intuitionistic theory of types. An unpublished mimeographed manuscript [Mar75] containing a presentation of Girard's paradox that does not appear in the final version (1972)

by Per Martin-Lof