A theory of types. unpublished manuscript (1970)

by Per Martin-Löf