%0 Journal Article %1 wadler2000ppc %A Wadler, P. %D 2000 %J Report, Avaya Labs %K logic programming proof %T Proofs are programs: 19th century logic and 21st century computing

@article{wadler2000ppc, added-at = {2009-03-20T01:11:23.000+0100}, author = {Wadler, P.}, biburl = {https://www.bibsonomy.org/bibtex/27d9ec5f77ff14b4554315cda83282378/cdevries}, interhash = {cefea6e7f7d82b60167bdc19847c4c43}, intrahash = {7d9ec5f77ff14b4554315cda83282378}, journal = {Report, Avaya Labs}, keywords = {logic programming proof}, timestamp = {2009-03-23T09:10:10.000+0100}, title = {{Proofs are programs: 19th century logic and 21st century computing}}, year = 2000 }