Calculus; Productivity; Linearity; Adaptation models; Data structures; Computational modeling; Analytical models;
机译:关于量子和概率线性λ计算(扩展摘要)
机译:重复和无限性分析计算一阶理性Pavelka逻辑
机译:Lambda-sym-prop-和lambda-bar-mu-tilde-star-star- callim的强烈标准化
机译:线性角度的无限λ计算
机译:非确定性拉姆达计算模理论H *中的自动方程推理。
机译:使用Lambda噬菌体线性重组系统对人类巨细胞病毒进行快速基因工程:证明pp28(UL99)对生产传染性病毒至关重要
机译:无限仿射拉姆达微积分与线性逻辑之间的函数桥梁
机译:Lambda-Calculs pour les Fonctions paralleles(strictes)((严格)并行函数的Lambda-Calculi)