Slide 1 Proofs are Programs: 19th Century Logic and 21st Century Computing CS 510: Programming Languages (a talk adapted from Philip Wadler) Slide 2 How to Talk to Aliens…