Hacker News new | ask | show | jobs
Constructive mathematics and computer programming (1979) [pdf] (cs.tufts.edu)
5 points by ayberkt 3799 days ago