Constructive Mathematics and Computer Programming (1982)

by P Martin-Lf
Venue:In Logic, Methodology and Philosophy of Science, VI