J.Roger欣德利;梅雷迪思,大卫 主要类型方案和浓缩分离。 (英语) Zbl 0708.03007号 J.塞姆。日志。 55,No.1,90-105(1990). 审核人:M.W.邦德 MSC公司:03B40型 03B05号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Hindley}和textit{D.Meredith},J.Symb。日志。55,第1号,90--105(1990;Zbl 0708.03007) 全文: 内政部
塞尔丁,J.P。(编辑);辛德利,J.R。(编辑) [塞尔丁,J.P。;J.T.卡恩斯。;M.W.邦德。;艾泽尔,P。;费弗曼,S。;吉尔摩,P.C。;惠誉,F.B。;库齐切夫(A.S.Kuzichev)。;利维,J.J。;Klop,J.W。;华兹华斯,C.P。;Böhm,C。;G·米施克。;Visser,A。;巴伦德雷格特,H。;科曼斯,K。;朱塞佩·隆戈;桑奇斯,L.E。;普洛金,G.D。;J·兰贝克。;D.S.斯科特。;R.O.甘地。;西澳州霍华德。;J·迪勒。;Meredith博士。;R·斯塔特曼。;M.科波。;Dezani-Ciancaglini,M。;维内里,B。;波廷格,G。;德布鲁因,N.G。] 致H.B.Curry:关于组合逻辑、lambda微积分和形式主义的论文。 (英语) Zbl 0469.03006号 伦敦等:学术出版社,Harcourt Brace Jovanovich的子公司,出版商。二十五、 606页,26.60英镑;$64.00 (1980).MSC公司:03B40型 03-06 03-02 01A70号 03A05号 18日第15天 PDF格式BibTeX公司 XML格式