Full Abstraction

Bisimulations for probabilistic linear lambda calculi
Yuxin Deng, Yuan Feng
引用 DOI