Affine Combinatory Algebra; Affine Lambda-calculus; Intersection Types; Geometry of Interaction;
机译:lambda!-演算,交集类型和对合
机译:简单类型的Lambda微积分的语义评估,交叉类型和复杂性
机译:具有交集类型的类型化Lambda演算
机译:lambda!-calculus,交叉口类型和涉及
机译:单调推理的λ演算。
机译:含有碳水化合物:蛋白质Sm lambda的缺失的人lambda型免疫球蛋白轻链的一级结构。
机译:简单类型Lambda演算的语义评价,交集类型和复杂性