In this episode I discuss the basic structural rules of weakening, contraction, and exchange, and speculate on their dark origin.
See All 179 Episodes of "Iowa Type Theory Commute"