A theory of types, Report 71-3 (1971)

by P Martin-Löf