Constructive mathematics and computer programming (1979) [pdf]cs.tufts.edu5 points·ayberkt··0 commentsOpen articleSaveView on HN