Extending the lambda-calculus with unbind and rebindMariangiola Dezani-Ciancaglini, Paola Giannini and Elena ZuccaRAIRO-Theor. Inf. Appl., 45 1 (2011) 143-162DOI: https://doi.org/10.1051/ita/2011008
