自由λ-理论的胶合正规化
Normalization by gluing for free λ-theories
摘要：
评价规范化、逻辑谓词和语义粘合结构之间的联系是一个民俗学问题，在文献中不同程度地得到了解决。在本文中，我们提出了一个基本版本的胶合技术，密切对应于语义规范化证明和句法规范化的评估。
英文摘要：
The connection between normalization by evaluation, logical predicates and semantic gluing constructions is a matter of folklore, worked out in varying degrees within the literature. In this note, we present an elementary version of the gluing technique which corresponds closely with both semantic normalization proofs and the syntactic normalization by evaluation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
