清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Probabilistic Lambda Calculi
Bisimulations for probabilistic linear lambda calculi
Yuxin Deng
,
Yuan Feng
引用
DOI
引用
×