Structural rules, or the Curse of the Bound Variable

Share:

Iowa Type Theory Commute

Technology

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