机译:内涵语境中Lambda术语的表示和归约策略选择
Department of Computer Science, Hofstra University, Hempstead, NY 11550;
explicit substitution; implementation; lambda calculus; lambda conversion;
机译:带有局部底部避免选择的按需调用lambda演算:上下文引理和转换的正确性
机译:有类型的内涵式Lambda演算中的自我报价
机译:意图型lambda-calculus的比较模型
机译:Lambda术语的内涵表示中的权衡
机译:内涵无关的语法。
机译:马来西亚国家减盐战略的中期评估–有关根据当地情况减少减盐的最佳购买的经验教训
机译:内涵语境中lambda术语的表示和归约策略选择
机译:满足与张量算子相关的恒等式的表示。二维张量算子在表示下转换:(Lambda sub 4),(2 lambda sub 2)so(2N,C)和(4 lambda sub 1),(2 lambda sub 2)sp(2N,C)