Pubblicazioni
| Autori: | Mariangiola Dezani-Ciancaglini |
| Paola Giannini | |
| Elena Zucca | |
| Titolo: | Extending the lambda-calculus with unbind and rebind |
| Apparso su: | RAIRO - Theoretical Informatics and Applications |
| Anno: | 2011 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://www.di.unito.it/~dezani/papers/dgz10a.pdf |