Constructive mathematics and computer programming (1979) [pdf]cs.cornell.edu2 points·mathetic··0 commentsOpen articleSaveView on HN