Hauptsatz for intuitionistic simple type theory (1973)

by P Martin-Lof
Venue:Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science