Iowa Type Theory Commute

The Curry-Howard Isomorphism for Induction


Listen Later

In which I discover why the domino analogy for explaining induction always bothered me!

...more
View all episodesView all episodes
Download on the App Store

Iowa Type Theory CommuteBy Aaron Stump

  • 5
  • 5
  • 5
  • 5
  • 5

5

16 ratings