Italiano (Italian) English (Inglese)
Saturday, 23 November 2024

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