Unit 1 Making a difference Warming-up & Listening & Speaking.
Proofs are Programs: 19th Century Logic and 21st Century Computing CS 510: Programming Languages (a talk adapted from Philip Wadler)
Prof. & Dr. S. VISWANATHAN