"Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus."

Anders Schack-Nielsen, Carsten Schürmann (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics