1972] "An intuitionistic theory of types (1972)

by P Martin-L��f
Venue:Logic Colloqium 73, Rose Shepherdson (Eds.), North-Holland