RIEC, Tohoku University Katahira 2-1-1, Aoba-ku, Sendai 980-8577, Japan;
机译:形式化ALF中显式替换演算的强规范化证明
机译:关于显式代换计算的强规范化(注)
机译:对称λ计算的强归一化结果的算术证明
机译:表征明确替代Calculi的强烈标准化的简单证明
机译:简单句子中的直觉,替代和因果关系说明
机译:利用空间明晰和非空间明晰数据评估微生物感染传播方法的概念验证
机译:表征显性替代结石强归一化的简单证明