Bisimulations for probabilistic linear lambda calculi | IEEE Conference Publication | IEEE Xplore