Intersection types for unbind and rebind

CIANCAGLINI M DEZANI, Paola GIANNINI, E. ZUCCA

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

Lingua originale	Italian
Pagine	45-58
Numero di pagine	14
DOI	https://doi.org/10.4204/EPTCS.45.4
Stato di pubblicazione	Pubblicato - 1 gen 2010
Evento	ITRS'10 - Intersection Types and Related Systems - Edinburgh Durata: 1 gen 2010 → …

???event.eventtypes.event.conference???	ITRS'10 - Intersection Types and Related Systems
Città	Edinburgh
Periodo	1/01/10 → …

Accesso al documento

@conference{a60b8e03c06b4078889325228d6ec688,

title = "Intersection types for unbind and rebind",

author = "DEZANI, {CIANCAGLINI M} and Paola GIANNINI and E. ZUCCA",

year = "2010",

month = jan,

day = "1",

doi = "10.4204/EPTCS.45.4",

language = "Italian",

pages = "45--58",

note = "ITRS'10 - Intersection Types and Related Systems ; Conference date: 01-01-2010",

}

TY - CONF

T1 - Intersection types for unbind and rebind

AU - DEZANI, CIANCAGLINI M

AU - GIANNINI, Paola

AU - ZUCCA, E.

PY - 2010/1/1

Y1 - 2010/1/1

UR - https://iris.uniupo.it/handle/11579/23146

U2 - 10.4204/EPTCS.45.4

DO - 10.4204/EPTCS.45.4

M3 - Contributo in Atti di Convegno

SP - 45

EP - 58

T2 - ITRS'10 - Intersection Types and Related Systems

Y2 - 1 January 2010

ER -