Constructive Mathematics andComputer Programming (1982)

by P Martin-Lof
Venue:In L.J. Cohen et al.(Eds.), Proceedings of 6th International Congress for Logic, Methodology, and Philosophy of Science,pp