Italiano (Italian) English (Inglese)
giovedì, 21 settembre 2023

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