A Decidable Intersection Type System based on Relevance

F. Damiani
, Paola GIANNINI

Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

Lingua originale	Inglese
Pagine	707-725
Numero di pagine	19
Stato di pubblicazione	Pubblicato - 1994
Evento	TACS'94 - Durata: 1 gen 1994 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	TACS'94
Periodo	1/01/94 → …

Accesso al documento

http://hdl.handle.net/11579/57238

Altri file e collegamenti

handle

Cita questo