变量绑定和替换对于（无名）虚位
摘要：利用抽象模型来设计一种新的具有变量绑定和避免冲突替换的语法理论，该理论通过无名的占位符来抽象De Bruijn表示法中已知的属性。我们将其提出作为Fiore、Plotkin和Turi方法的简化替代方案，并与其建立了强有力的形式联系。我们还展示了我们的理论如何轻松地结合简单类型和项之间的方程。
作者：Andr''e Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
论文ID：2209.02614
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-19