Wadler, Philip L. 2000. Proofs are programs: 19th century logic and 21st century computing.

Discuss this paper by editing this page.