计算机工程与科学2024，Vol.46Issue(10)：P.1807-1814,8.DOI:10.3969/j.issn.1007-130X.2024.10.009
以Barendregt的变量约定形式化编程语言研究
摘要
关键词
变量命名/命名绑定/形式系统/Barendregt的变量约定/编程语言理论分类
信息技术与安全科学引用本文复制引用
阿力木江·亚森,艾合买提·阿不来提,沙尔旦尔·帕尔哈提,阿布都克力木·阿布力孜,哈里旦木·阿布都克里木..以Barendregt的变量约定形式化编程语言研究[J].计算机工程与科学,2024,46(10):P.1807-1814,8.基金项目
国家自然科学基金(62241208,61966033) （62241208,61966033）
新疆维吾尔自治区自然科学基金(2023D01A72) （2023D01A72）
新疆财经大学校级科研基金(2022XGC049,2022XGC070,2022XGC022)。 （2022XGC049,2022XGC070,2022XGC022）
