Publications
| Authors: | Mariangiola Dezani-Ciancaglini |
| Paola Giannini | |
| Angelo Troina | |
| Title: | A Type System for a Stochastic CLS |
| Published on: | MeCBIC'09 11 |
| Pages: | 91--106 |
| Year: | 2009 |
| Tipo Pubblicazione: | Paper on Proceedings International Conference |
| URL: | http://www.di.unito.it/~dezani/papers/dgtB.pdf |