×
塞尔丁，J.P。（编辑）;辛德利，J.R。（编辑）
[塞尔丁，J.P。;J.T.卡恩斯。;M.W.邦德。;艾泽尔，P。;费弗曼，S。;吉尔摩，P.C。;惠誉，F.B。;库齐切夫，A.S。;利维，J.J。;Klop，J.W。;华兹华斯，C.P。;Böhm，C。;G·米施克。;维瑟，A。;巴伦德雷格特，H。;科曼斯，K。;朱塞佩·隆戈;桑奇斯，L.E。;普洛金，G.D。;J·兰贝克。;D.S.斯科特。;R.O.甘地。;西澳州霍华德。;J·迪勒。;D.梅雷迪斯。;R·斯塔特曼。;M.科波。;Dezani-Ciancaglini，M。;维内里，B。;波廷格，G。;德布鲁因，N.G。]

致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 （英语） Zbl 0469.03006号

伦敦等：学术出版社，Harcourt Brace Jovanovich的子公司，出版商。XXV、 606页，26.60英镑；$64.00 (1980).
页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5个 显示扫描页面
Zbl 0469.03006扫描

引用于24评论
引用于136文件

MSC公司：

03B40型 组合逻辑与lambda演算
03-06 与数理逻辑和基础有关的会议记录、会议、收藏等
03-02 与数学逻辑和基础相关的研究展览（专著、调查文章）
01A70号 传记、讣告、个人信息、参考书目
03A05号 逻辑和基础的哲学和批判性方面
18日第15天 闭范畴（闭单体和笛卡尔闭范畴等）

关键词：

lambda-calculus模型;组合代数;类型lambda演算;键入的术语;H.B.库里传记及完整参考书目;Curry的程序;推理组合逻辑;抽象;组合逻辑的扩展;语法;减少;语义学;域;无类型理论;自反域;归一化;公式as-types概念;自动装置

传记参考：

咖喱、哈斯克尔·布鲁克斯
PDF格式BibTeX公司 XML格式