Constructive mathematics and computer programming (1979) [pdf]

2 points| mathetic | 8 years ago |cs.cornell.edu