...
机译:Lambda理论允许带有有限数量的固定点的术语
Dipartimento di Ingegneria dell'Impresa, Università di Roma 'Tor Vergata,' Rome, Italy;
Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, Pennsylvania, USA;
机译:Lambda-严格伪压缩映象的有限族的公共不动点集中的变分不等式的求解算法
机译:
机译:有限域中Lambda phi(4)理论的Jacobi椭圆解
机译:无限次自动机运行的简单Lambda项的有限语义
机译:心理研究对道德理论前景理论和行为允许理论的影响。
机译:噬菌体λ和质粒载体可在三个翻译阶段的每个阶段融合克隆的基因。
机译:Lambda计算中的单步递归术语的某些性质(Lambda微积分和计算机科学理论)