Documents Unit 1 Making a difference Warming-up & Listening & Speaking.

Slide 1Unit 1 Making a difference Warming-up & Listening & Speaking Slide 2 Albert Einstein Alfred North Whitehead Marie Curie Thomas Alva Edison Galileo Galilei…

Documents Proofs are Programs: 19th Century Logic and 21st Century Computing CS 510: Programming Languages (a....

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…