Iowa Type Theory Commute

Structural rules, or the Curse of the Bound Variable


Listen Later

In this episode I discuss the basic structural rules of weakening, contraction, and exchange, and speculate on their dark origin.

...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