P.: Constructive mathematics and computer programming (1982)

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