All Questions
Tagged with binders alpha-equivalence
1
question
18
votes
2
answers
398
views
How to deal with Binders?
When reasoning about programming languages in a deep embedding, $\alpha$-equivalence, binders and capture-avoiding substitution quickly can become tedious. Complex binders may introduce multiple bound ...