多态性λ-演算的直观建模
来源：计算机应用与软件杂志2024年第12期北京时间：
作者：阿力木江·亚森，阿布都克力木·阿布力孜，沙尔旦尔·帕尔哈提，哈里旦木·阿布都克里木，朱义鑫
摘要：命名绑定是在形式系统中的核心概念之一。至于简单性和直观性，现有的命名绑定技术有其优缺点。通过建模语言HyperLMNtal将一种基于超图重写的命名绑定技术应用于具有子类型和结构类型的多态性λ-演算（或System FKG-*4<KG-*4JX-+0.2mm:JX+0.2mm）的类型检查和按值调用的建模，并使用PoplMark挑战的基准测试进行测试。实验结果表明该技术适合于复杂形式系统的快速建模，因为它使程序员无需理论的重新形式化即可将理论转化为实践。
关键词：多态性λ-演算, 命名绑定, 图形重写, 建模
