法鲁兹卡马雷丁;罗尔·布鲁 De Bruijn的语法和(lambda)-术语的简化行为:非类型化情况。 (英语) Zbl 1101.68452号 J.日志。阿尔盖布。程序。 62,第1期,109-131(2005).理学硕士:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{R.Bloo},J.Log。阿尔盖布。程序。62,第1号,109--131(2005;Zbl 1101.68452) 全文: DOI程序
法鲁兹卡马雷丁;罗尔·布鲁 De Bruijn的语法和\(\lambda\)-terms的简化行为:类型化的case。 (英语) Zbl 1090.68019号 J.日志。阿尔盖布。程序。 62,第2期,159-189(2005).理学硕士:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{R.Bloo},J.Log。阿尔盖布。程序。62,第2号,159--189(2005;Zbl 1090.68019) 全文: DOI程序