Alpha-conversion for lambda terms with explicit weakenings

12/25/2018

∙

by   George Cherevichenko, et al.

∙

0

∙

share

Using explicit weakenings, we can define alpha-conversion by simple equations without any mention of free variables.