约阿希姆·尼伦；马图·维拉雷特 在上下文统一中描述lambda术语。 （英语） Zbl 1082.68848号 Blache，Philippe（编辑）等人，《计算语言学的逻辑方面》。第五届国际会议，LACL 2005，法国波尔多，2005年4月28日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25783-7/pbk）。计算机科学课堂讲稿3492。人工智能课堂讲稿，221-237（2005）。 摘要：lambda结构的约束语言（CLLS）是lambda术语的描述语言。CLLS提供了并行性约束来讨论lambda术语的树结构，并提供了lambda绑定约束来指定变量绑定。仅并行性约束就具有与上下文统一相同的表达能力。本文表明，当允许树正则约束时，lambda绑定约束也可以在上下文统一中表示。关于整个系列，请参见[Zbl 1073.68003号]. 引用于1文件 MSC公司： 68T50型 自然语言处理 03B65号 自然语言逻辑 关键词：二阶统一；优势约束；计算语言学；未指定语义 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}和\textit{M.Villaret}，莱克特。注释计算。科学。3492，221--237（2005；Zbl 1082.68848） 全文： 内政部