A Type System for a Stochastic CLS (2009)

by Mariangiola Dezani-Ciancaglini , Paola Giannini , Angelo Troina
Citations:7 - 6 self