Four interesting papers by Phillip Wadler:

• The unreasonable effectiveness of logic
• As Natural as 0,1,2
• From Frege to Gosling: 19’th century logic and 21’st century programming languages
• Proofs are Programs: 19th Century Logic and 21st Century Computing

available on his history of logic and programming languages page. (Hat tip: Lambda the Ultimate)