Hello,

    I am reading re-reading Prof. Wadler paper

Proofs are Programs: 19th Century Logic and 21st Century Computing


but also want to re-read watch his video on same subject.....

???


Very kind thanks,

Vasili