%0 Journal Article
%A Dezani-Ciancaglini, Mariangiola
%A Giannini, Paola
%A Zucca, Elena
%T Extending the lambda-calculus with unbind and rebind
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2011
%P 143-162
%V 45
%N 1
%I EDP-Sciences
%U http://archive.numdam.org/articles/10.1051/ita/2011008/
%R 10.1051/ita/2011008
%G en
%F ITA_2011__45_1_143_0