摘要
de Groote，P.：走向抽象范畴语法。 摘自：计算语言学协会，第39届年会和第10届欧洲分会，会议记录，第148-155页（2001）。 谷歌学者 
蒙塔古：《形式哲学：理查德·蒙塔古论文集》。 耶鲁大学出版社，纽黑文（1974）。 谷歌学者 Salvati，S.：关于非线性抽象范畴语法的成员问题。 收录于：Muskens，R.（ed.）《类型理论语法新方向研讨会论文集》（NDTTG 2007），爱尔兰都柏林，逻辑、语言和信息基金会，2007年8月，第43-50页（2007）。 谷歌学者 Lambek，J.：句子结构的数学。 《美国数学月刊》65，154-170（1958）。 谷歌学者 Moortgat，M.：分类研究：Lambek演算的逻辑和语言方面。 Foris Pubns USA（1988年）。 谷歌学者 Urzyczyn，P.：交叉点类型的空性问题。 J.塞姆。 日志。 64(3), 1195-1215 (1999). 谷歌学者 Loader，R.：λ-可定义性的不确定性。 摘自：Anderson，C.A.，Zeleny，M.（编辑）《逻辑、意义和计算：纪念Alonzo Church的论文》，第331-342页。 Kluwer，Dordrecht（2001）。 谷歌学者 Statman，R.：完整性、不变性和λ-可定义性。 《符号逻辑杂志》47（1），17-26（1982）。 谷歌学者 Statman，R.，Dowek，G.：关于Statman的有限完备性定理。 技术报告CMU-CS-92-152，卡内基梅隆大学（1992）。 谷歌学者 Myhill，J.：有限自动机和事件表示。 美国俄亥俄州赖特帕特森空军基地WADC TR-57-624技术报告（1957年）。 谷歌学者 Nerode，A.：线性自动机变换。 摘自：《美国数学学会学报》，第9卷，第541-544页。 美国数学学会（1958）。 谷歌学者 Mezei，J.，Wright，J.：代数自动机和无上下文集。 信息与控制11，3-29（1967）。 谷歌学者 Dezani-Ciancaglini，M.，Giovannetti，E.，de’Liguoro，U.：交叉点类型，Lambda-models和Böhm树。 摘自：微软司法杂志回忆录。 类型和证明理论，第2卷，第45-97页。 日本数学学会（1998年）。 谷歌学者 Babaev，A.A.，Soloviev，S.V.：笛卡尔闭范畴中标准映射的相干定理。 《苏联数学杂志》20（1982）。 谷歌学者 de Groote，P.，Pogodalla，S.：论抽象范畴语法的表达能力：表现无语境形式主义。 《逻辑、语言与信息杂志》13（4），421-438（2005）。 谷歌学者 Thatcher，J.W.：通过有限自动机理论的推广刻画无上下文文法的派生树。 《计算机与系统科学杂志》1（4），317-322（1967）。 谷歌学者 Schmidt-Schauß，M.：arity有界高阶匹配的可判定性。 在：Baader，F.（编辑）CADE 2003。 LNCS，第2741卷，第488-502页。 斯普林格，海德堡（2003）。 谷歌学者 Comon，H.，Jurski，Y.：高阶匹配和树自动机。 收录于：CSL，第157-176页（1997年）。 谷歌学者 Loader，R.：高阶β匹配是不可判定的。 IGPL逻辑杂志11（1），51-68（2003）。 谷歌学者 Stirling，C.：决定高阶匹配的游戏理论方法。 收录：Bugliesi，M.、Preneel，B.、Sassone，V.、Wegener，I.（编辑）ICALP 2006。 LNCS，第4052卷，第348-359页。 斯普林格，海德堡（2006）。 谷歌学者 罗伯逊，N.，西摩，P.D.：未成年人图形。 v.排除平面图。 J.库姆。 理论，Ser。 B 41（1），92-114（1986）。 谷歌学者 Ong，C.H.L.：关于由高阶递归方案生成的模型检查树。 收录于：LICS，第81-90页。 IEEE计算机学会出版社，洛斯·阿拉米托斯（2006）。 谷歌学者
索引术语
简单类型Lambda-Calculus中的可识别性
建议
自动机无限运行的简单型lambda项的有限语义 CSL’06：第20届计算机科学逻辑国际会议论文集 模型检查属性通常用有限自动机来描述。 任何特定的此类自动机都会将无限树集划分为有限多个类，根据这些类，状态具有无限运行。 正在构建完整类型层次结构。。。 渐进型lambda演算的解释 方案’12：2012年方案和功能编程年度研讨会论文集 渐进式类型是一种在同一语言中集成静态和动态类型检查的方法[Siek和Taha，2006年]。 鉴于“渐进式键入”这个名称，人们可能会认为最有趣的方面是类型系统。 结果是。。。 关于瓷砖系统可识别性的高度不确定问题 机器、计算和普遍性，第二部分 Altenbernd、Thomas和Wöhrle在[1]中考虑了有限拼接系统对无限二维单词（无限图片）语言的接受，以及通常的接受条件，如Büchi和Muller的接受条件。 [9]证明了。。。
