https://blueberrywren.dev/blog/debruijn-explanation/

Debruijn indexes + levels, and why they're handy

Debruijn indexとlevelについて解説されています。

ラムダ計算における変数捕捉の問題を、De Bruijn indexを使って解決する方法が説明されています。

De Bruijn indexを使うことで、アルファ同値性の判定が容易になるという利点も紹介されています。