TY  - RPRT
TI  - A Type System for a Stochastic CLS
AU  - Mariangiola Dezani-Ciancaglini
AU  - Paola Giannini
AU  - Angelo Troina
PY  - 2009
DO  - 10.4204/eptcs.11.6
UR  - https://arxiv.org/abs/0911.4985
ID  - 0911.4985
ER  -