Skip to main content

Questions tagged [bound-variables]

Bound variables refer to variables that serve as a placeholder to point to a binder. In calculus, "∫ t dx" is a binder and any free appearance of the variable "x" in "t" is bound.

Filter by
Sorted by
Tagged with
10 votes
1 answer

Performance of de Bruijn indices?

Can any of you refer me to documented results of experiments on the performance of provers using de Bruijn indices to represent references to bound variables versus mentions of names or other simple ...
Cris P's user avatar
  • 345