A nonstandard standardization theorem
Beniamino Accattoli, Eduardo Bonelli, Delia Kesner, Carlos Lombardi · 2014
Standardization is a fundamental notion for connecting programming languages and rewriting calculi. Since both programming languages and calculi rely on substitution for defining their dynamics, explicit substitutions (ES) help further close the gap between theory and practice.