The whole presentation is mind-blowing. The way he peeled the layers to show the deep relationship between formal logic and modern computation through historical facts & proofs is a treat to watch.
Wadler’s act in StrangeLoop
Kaushik Chakraborty
3

I’ve attempted the paper more than once before and still for a mere undergraduate with limited knowledge of formal logic it’s really deep and tough to get all the points. This explanation of him encourages me to go back to it again and may be this time I will be able to extract more things from it

Like what you read? Give Kaushik Chakraborty a round of applause.

From a quick cheer to a standing ovation, clap to show how much you enjoyed this story.