TY  - RPRT
TI  - A Type System for Required/Excluded Elements in CLS
AU  - Mariangiola Dezani-Ciancaglini
AU  - Paola Giannini
AU  - Angelo Troina
PY  - 2009
DO  - 10.4204/eptcs.9.5
UR  - https://arxiv.org/abs/0911.2323
ID  - 0911.2323
ER  -