Structural rules, or the Curse of the Bound Variable

Iowa Type Theory Commute
12/10/2021 12 min Temporada 3 Episodio 12
Structural rules, or the Curse of the Bound Variable

Listen "Structural rules, or the Curse of the Bound Variable"

Descargar episodio

Episode Synopsis

In this episode I discuss the basic structural rules of weakening, contraction, and exchange, and speculate on their dark origin.
© 2003-2025 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA