De Bruijn notation has also been shown to be useful in calculi for explicit substitution in pure type systems.
De Bruijn notation has also been demonstrated to be beneficial in calculi that support explicit substitution within pure type systems.