机译:关于量子和概率线性λ计算(扩展摘要)
机译:关于概率Hausdorff距离和一类概率可分解测度
机译:使用letrec在不确定性按需调用lambda计算中应用模拟和可扩展性的反例
机译:有限向量空间作为简单型Lambda计算模型
机译:非确定性拉姆达计算模理论H *中的自动方程推理。
机译:汽轮机转子概率疲劳寿命评价分解的协作建模方法
机译:分解概率λ-calmuli
机译:Lambda-Calculs pour les Fonctions paralleles(strictes)((严格)并行函数的Lambda-Calculi)