Constructive mathematics and computer programming (1982)

by P Martin-Lof
Venue:In : Sixth International Congress for Logic, Methodology, and Philosophy of Science, pp . 153-175 . North-Holland