Hauptsatz for Intuitionistic Simple Type Theory (1973)

by P Martin-Löf
Venue:In Logic, Methodology and Philosophy of Science IV