Linearization via Rewriting (Long Version)

Ugo Dal Lago, Federico Olimpieri

We introduce the structural resource lambda-calculus, a new formalism in which strongly normalizing terms of the lambda-calculus can naturally be represented, and at the same time…