Italiano (Italian) English (Inglese)
venerdì, 21 giugno 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Ferruccio Damiani
Paola Giannini
Titolo:A Decidable Intersection Type System based on Relevance
Apparso su:TACS'94
Pagine:707-725
Editore:Springer
Anno:1994
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~damiani/papers/tacs94.html