Bisimulations for probabilistic linear lambda calculi

Yuxin Deng, Yuan Feng
一月 2017
引用 DOI
类型
会议文章
出版物
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Probabilistic Logic Syntactics Semantics Testing Tensile Stress Standards Software Probabilistic Lambda Calculi Contextual Equivalence Bisimulation Full Abstraction
冯元
冯元
教授