法鲁兹卡马雷丁;罗尔·布鲁 De Bruijn的语法和(lambda)-术语的简化行为:非类型化情况。 (英语) Zbl 1101.68452号 J.日志。阿尔盖布。程序。 62,第109-131号(2005年).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{R.Bloo},J.Log。阿尔盖布。程序。62,第1号,109--131(2005;Zbl 1101.68452) 全文: 内政部
法鲁兹卡马雷丁;罗尔·布鲁 De Bruijn的语法和\(\lambda\)-terms的简化行为:类型化的case。 (英语) Zbl 1090.68019号 J.日志。阿尔盖布。程序。 62,第2期,159-189(2005).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{R.Bloo},J.Log。阿尔盖布。程序。62,第2号,159--189(2005;Zbl 1090.68019) 全文: 内政部
法鲁兹卡马雷丁;特温·拉恩;Rob Nederpelt公司 重新审视函数的概念。 (英语) Zbl 1020.03013号 J.日志。阿尔盖布。程序。 54,编号1-2,65-107(2003).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamareddine}等人,J.Log。阿尔盖布。程序。54,编号1--2,65-107(2003;Zbl 1020.03013) 全文: 内政部