1 citations · 1 across the 1 of their papers we have counts for
1 paper
Alexis Martín, Alejandro Ríos, Andrés Viso
It is well-known in the field of programming languages that dealing with variable names and binders may lead to conflicts such as undesired captures when implementing interpreters…