"Propositions as Types" by Philip Wadler
Open link in next tab
"Propositions as Types" by Philip Wadler
https://youtu.be/IOiZatlZtGU
The principle of Propositions as Types links logic to computation. At first sight it appears to be a simple coincidence---almost a pun---but it turns out to ...