Italiano (Italian) English (Inglese)
mercoledì, 4 dicembre 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
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