Constructive mathematics and computer programming (1979) [pdf]cs.cornell.edu2 pointsmathetic8 years ago