自由 λ-理论的胶合归一化
计算机科学中的逻辑
2018-09-25 v1
摘要
归一化求值、逻辑谓词与语义胶合构造之间的联系是一个民间常识，文献中以不同程度被阐明。在本笔记中，我们给出一个胶合技术的初等版本，它与语义归一化证明以及语法上的求值归一化都紧密对应。
引用
@article{arxiv.1809.08646,
title = {Normalization by gluing for free {\lambda}-theories},
author = {Jonathan Sterling and Bas Spitters},
journal= {arXiv preprint arXiv:1809.08646},
year = {2018}
}