Constructive mathematics and computer programming (1982)

by P Martin-Löf
Venue:in: Sixth International Congress for Logic, Methodology, and Philosophy of Science, North-Holland