Italiano (Italian) English (Inglese)
Thursday, 29 October 2020

Publications

Back
Pubblication Details
Authors:Mariangiola Dezani-Ciancaglini
Paola Giannini
Elena Zucca
Title:Extending the lambda-calculus with unbind and rebind
Published on:RAIRO - Theoretical Informatics and Applications
Year:2011
Tipo Pubblicazione:Paper on International Journal
URL:http://www.di.unito.it/~dezani/papers/dgz10a.pdf