圣人,奈姆;J.Roger欣德利 lambda演算中的组合弱约简。 (英语) Zbl 0902.68116号 西奥。计算。科学。 198,编号1-2,239-247(1998).MSC公司:68问题55 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{N.恰ǧ人}和文本{J.R.欣德利},Theor。计算。科学。198,编号1--2,239--247(1998;Zbl 0902.68116) 全文: 内政部
M.W.邦德。;辛德利,J.R。 两个β-相等的lambda-I-项,没有共同的类型。 (英语) Zbl 0873.03013号 西奥。计算。科学。 155,第1期,265-266(1996).MSC公司:03B40型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}和\textit{J.R.Hindley},Theor。计算。科学。155,编号1,265--266(1996;Zbl 0873.03013) 全文: 内政部
彼得·特里格;J.Roger欣德利;马丁·邦德。 使用\({\mathbf B}\)、\({\ mathbf B}^\prime)和friends进行组合抽象。 (英语) Zbl 0838.03012号 西奥。计算。科学。 135,第2号,405-422(1994). 审核人:S.Martini(乌迪内) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Trigg}等人,Theor。计算。科学。135,第2号,405--422(1994;Zbl 0838.03012) 全文: 内政部
马里亚纽拉州Dezani-Ciancaglini;J.Roger欣德利 组合逻辑的交集类型。 (英语) Zbl 0771.03004号 西奥。计算。科学。 100,第2期,303-324(1992). 审核人:M.W.Bunder(伍伦贡) MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}和\textit{J.R.Hindley},Theor。计算。科学。100,编号2,303--324(1992;Zbl 0771.03004) 全文: 内政部
辛德雷,J.罗杰 BCK-组合子和线性(lambda)项有类型。 (英语) Zbl 0671.03010号 西奥。计算。科学。 64,第1期,97-105(1989). 审核人:M.W.邦德 MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \文本{J.R.Hindley},Theor。计算。科学。64,第1号,97-105(1989年;Zbl 0671.03010) 全文: 内政部
J.Roger欣德利 Coppo-Dezani类型与命题逻辑不对应。 (英语) Zbl 0529.03003号 西奥。计算。科学。 28, 235-236 (1984).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \文本{J.R.Hindley},Theor。计算。科学。28235-236(1984年;兹bl 0529.03003) 全文: 内政部