Italiano (Italian) English (Inglese)
Friday, 3 February 2023

Publications

Back
Pubblication Details
Authors:Mariangiola Dezani-Ciancaglini
Paola Giannini
Elena Zucca
Title:Intersection Types for Unbind and Rebind
Published on:ITRS'10 45
Pages:45-59
Year:2010
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~dezani/papers/dgz10.pdf