德布鲁因，N.G。 带有无名假人的Lambda演算符号，一个用于自动公式操作的工具，应用于Church-Rosser定理。 （英语） 兹比尔0253.68007 内德勒。阿卡德。潮湿。，程序。，序列号。A类 75, 381-392 (1972). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于三评论引用于192文件 MSC公司： 65年第68季度 形式语言和自动机 68瓦99 计算机科学中的算法 65年第68季度 算法和问题复杂性分析 03B40型 组合逻辑与lambda演算 软件：自动化 PDF格式BibTeX公司 XML格式引用 \textit{N.G.de Bruijn}，荷兰阿卡德。潮湿。，程序。，序列号。A 75，381--392（1972年；Zbl 0253.68007）