RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Extending the lambda-calculus with unbind and rebind

Mariangiola Dezani-Ciancaglini, Paola Giannini and Elena Zucca

RAIRO-Theor. Inf. Appl., 45 1 (2011) 143-162

Published online: 15 March 2011

DOI: 10.1051/ita/2011008

Mariangiola Dezani-Ciancaglini

Paola Giannini

Elena Zucca

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)