Alpha-conversion for lambda terms with explicit weakenings
arXiv:1812.10008
Abstract
Using explicit weakenings, we can define alpha-conversion by simple equations without any mention of free variables.
arXiv:1812.10008
Using explicit weakenings, we can define alpha-conversion by simple equations without any mention of free variables.