H homepages.inf.ed.ac.uk Proofs are Programs – 19th Century Logic and 21st Century Computing (2000) [pdf] 152 points michaelsbradley 9 years ago 77 comments
