Hacker News new | ask | show | jobs
Constructive mathematics and computer programming (1979) [pdf] (cs.cornell.edu)
2 points by mathetic 3043 days ago