机译:通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
机译:Lambda计算对逻辑和计算机科学的影响
机译:类型化答案集编程Lambda演算理论及其反Lambda算法的正确性
机译:原子Lambda演算:具有明确共享的类型化Lambda演算。
机译:单调推理的λ演算。
机译:噬菌体λ复制起点的特殊核蛋白结构:与λO蛋白以及λO,λP和大肠杆菌DnaB蛋白复合物。
机译:半函数的附加:非扩展lambda演算中的分类结构
机译:启动au Lambda-Calcul(启动为Lambda微积分)。