A theory of types. Unpublished manuscript (1971)

by P Martin-Löf