probabilistic lambda calculus; bisimulation; Howe's technique; context equivalence; testing;
机译:懒惰的按名字命名的Lambda演算中让入式运算符的判别能力
机译:呼叫lambda演算机
机译:概率呼叫逐个FPC中的凸性和顺序
机译:在懒人呼叫概率概率λ - 微积分中的让操作员的区分力量
机译:核电厂事故中操作员佣金错误的分析方法,应用于概率风险评估。
机译:Sylow子群和命令是同一素数的幂的运算符的数量
机译:资源λ演算中测试的判别力