podcast
details
.com
Share
Iowa Type Theory Commute
The Curry-Howard Isomorphism for Induction
Listen
Description
In which I discover why the domino analogy for explaining induction always bothered me!
podcast
details
Print
Share
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
Check it
Made by
Alex Barredo
. Send your feedback to
alex@barredo.es
.
