{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,30]]，“日期-时间”：“2022-03-30T03:35:58Z”，“时间戳”：1648611358734}，“出版商位置”：“柏林，海德堡”，“参考-计数”：11，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540631729”，“类型”：“打印”}，{“值”：“9783540692010”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[1997]]}，”DOI“：”10.1007\/3-540-63172-0_55“，”type“：”book-chipter“，”created“：”{“date-part”：[2012,2,26]]，“date-time”：“2012-02-26T23:16:29Z”，“时间戳”：1330298189000}，“页面”：“446-459”，“源”：“Crossref”，“is-referenced-by-count”：2，“title”：[“On Cartesian monoids”]，“prefix”：“10.1007”、“author”：[{“given”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2005,6,8]]}，“reference”：[}“key”：”27_CR1“，“unstructured”：“Barendregt，\u201cLambda微积分\u201d，北荷兰，1981年。“}，{“key”：“27_CR2”，“unstructured”：“Freyd&Heller，分裂同伦不变量（未发表的手稿将出现在Alex Heller的Festschrift中）。”}，{”key“：”27_CR3“，”unstructure“：”Klop，组合约简系统，数学中心群，127，阿姆斯特丹数学中心，1980：“Lambek，From lambda calculus to Cartesian closed categories，Seldin&Hindley（eds.），to H.B.Curry:Essays on Combination Logic，lambda calculus and Formalism，Academic Press，1980（Curry festschrift）。”}，{“key”：“27_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Matiyasevich，Fenstad编辑中递归可枚举谓词的丢番图表示，第二届斯堪的纳维亚逻辑研讨会论文集。北荷兰，1971年。”，“DOI”：“10.1016/S0049-237X（08）70846-2”｝，｛“key”：“27_CR6”，“nonstructured”：“Scott，lambda演算的相关理论，Curry Festschrift。”｝，｛“key”：“27_CR7”，“nonstructured”：“Statman，Freyd的组合子幺半群层次在计算机科学中的逻辑论文集研讨会上，IEEE，1991年。”：“Statman，递归类型和主题约简定理，CMU，数学科学部，报告94-164。”}，{“key”：“27_CR10”，“unstructured”：“Statman，非类型lambda微积分到简单类型lambda-微积分的本地翻译，CMU数学科学部门，报告91-134。”：“Statman，Combinators and the theory of partitions，CMU，Department of Mathematic Sciences，Report 88-31.”}]，“container-title”：[“Computer Science Logic”，“Counter Science课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.10007\/3-540-63172-0_55.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts”：[[2020,11,17]]，“date-time”：“2020-11-17T21:17:10Z”，“时间戳”：1605647830000}，“分数”：1，“资源”:{“主”：{“URL”：“http://\link.sprimary.com\/10.1007\/3-540-63172-0_55”}}，”副标题“：[]，”短标题“：[]，“已发布”：{-“date-ports”：[[1997]}，“ISBN”：[“9783540631729”，“9783540692010”]，“references-count”：11，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-63172-0_55”，“relationship”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：“1611-33049”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”“：[1997]}}}”