25 citations · 56 across the 6 of their papers we have counts for
1 paper · 2 filters
Conor McBride
The key to any nameless representation of syntax is how it indicates the variables we choose to use and thus, implicitly, those we discard. Standard de Bruijn representations delay…