Maurício Ayala-Rincón,玛丽贝尔·费尔南德斯、安娜·克里斯蒂娜·罗查·奥利维拉、丹尼尔·利马·文图拉
研究成果:对日记账的贡献›第条›同行审查
©<2018年>本手稿版本根据CC-BY-NC-ND 4.0许可证提供https://creativecommons.org/licenses/by-nc-nd-4.0/legalcode(https://creativecommons.org/licenses/by-nc-nd-4.0/legalcode)
}
TY-JOUR公司
T1-标称基本交叉口类型
非盟-阿亚拉·林科恩,毛里西奥
澳大利亚-费尔南德斯,玛丽贝尔
AU-罗查·奥利维拉(Rocha-Oliveira)、安娜·克里斯蒂娜(Ana Cristina)
澳大利亚-文图拉,丹尼尔·利马
PY-2018年5月7日
2018年5月7日1月
N2——名义系统是计算系统中处理变量的另一种方法,其中一阶语法被推广以支持绑定运算符的规范。在这项工作中,提出了一个用于名词性术语的交叉类型系统。主题约简属性被证明适用于类型化标称重写的专门概念,从而确保在计算执行下保存类型。
AB-名义系统是计算系统中处理变量的另一种方法,其中一阶语法被推广以支持绑定运算符的规范。在这项工作中,提出了一个用于名词性术语的交叉类型系统。主题约简属性被证明适用于类型化标称重写的专门概念,从而确保在计算执行下保存类型。
KW-标称语法
KW-标称重写
KW-装订
KW-基本交叉口类型
KW-受试者减少
U2-10.1016/j.tcs.2018.05.008
DO-10.1016/j.tcs.2018.05.008
M3-物品
序号:0304-3975
JO-理论计算机科学
JF-理论计算机科学
急诊室-