Click here to see all the reviews for these papers.
Philip Wadler. Proofs are programs: 19th century logic and 21st century computing, November 2000. Appeared in Dr. Dobbs Journal as 'New Languages, Old Logic' in December 2000. [ .pdf ]
Generated: Thu Mar 6 15:39:24 EST 2003 by mwh