以Barendregt的变量约定形式化编程语言研究

阿力木江·亚森, 艾合买提·阿不来提, 沙尔旦尔·帕尔哈提, 阿布都克力木·阿布力孜, 哈里旦木·阿布都克里木

A study of formalizing programming languages with Barendregt’s variable convention

计算机工程与科学 . 2024, (10): 1807 -1814 .