{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,12]，“日期时间”：“2024-04-12T01:09:08Z”，“时间戳”：1712884148294}，“引用-计数”：20，“发布者”：“Elsevier BV”，“问题”：“1”，“许可证”：[{“开始”：“日期部分“：[[1979,7,1]]，“日期-时间”：”1979-07-01T00:00:00Z“，“时间戳”：29963520000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：12435，“URL“https:\\/www.else vier.com.\/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theory Computer Science”]，“published-print”：{“date-parts”：[[1979,7]]}，”DOI“：”10.1016\/0304-3975（79）90007-0“，”type“：”journal-article“，”created“：{”date-part“：[[2002,7,25]]，”date-time“：”2002-07-25T23:48:55Z“，”timestamp“：1027640935000}“page”：“73-81”，“source”：“Crossref”，“is-referenced-by-count”：114，“title”：[“类型化的\u03bb-calculus不是初等递归的”]，“前缀”：“10.1016”，“卷”：“9”，“作者”：[{“给定”：“理查德”，“家族”：“Statman”，“序列”：“第一”，“从属关系”：[]}，“成员”：“78”，“引用”：[}“键”：“101016\/0304-3975（79）90007-0_BIB1”，“系列时间”：“计算机算法的设计与分析”，“作者”：“Aho”，“年份”：“1974”｝，｛“键”：“10.1016/0304-3975（79）90007-0_BIB2”，“文章标题”：“Lambda转换的微积分”，“作者”：“Church”，“年份”：“1941”，“期刊标题”：“数学研究年鉴第6期”｝，｛“键”：“10.1016/0304-3975（79）90007-0_BIB3”，“文章标题”：“泛函之间的平等”，“卷”：“453”，“作者”：“Friedman”，“年份”：“1974“}，{“key”：“10.1016\/0304-3975（79）90007-0_BIB4”，“article-title”：“关于尚未使用的有限数学的扩展”，“volume”：”12“，“author”：“G\u00f6del”，“year”：“1958”，“journal-title“：”Dialectica“}”，{“key”：“，”作者“：“Grzegorczyk”，“year”：“1953”，“journal-title”：“Rozprawy Mat.”}，{“key”：“10.1016\/0304-3975（79）90007-0_BIB6”，“doi-asserted-by”：“crossref”，“first page”：”323“，“doi”：“10.4064\/fm-52-323-3244”，“article-title“：命题类型理论”，“volume”:“52”，“author”：“Henkin”，“年份”：“1963”，journal-title“：”Fund.Math.“}，{”key“：”10.1016\/0304-3975（79）90007-0_BIB7“，”series-title“：”伦敦数学。Soc.“，”article-title“：“组合逻辑导论”，”author“：”Hindley“，”year“：”1972“}，{“key”：“10.1016\/0304-3975（79）90007-0_BIB8”，”doi-asserted-by“：”crossref“，”first page“：”27“，”doi“：”10.1016\/0304-2975（75）90011-0“，”article-title“：”typed\u03bb-calculus的统一算法“，”volume“：“1”，“author”：“Huet“，”年份“：”1975“，”新闻标题“：”理论。计算。科学。“}，{”key“：”10.1016\/0304-3975（79）90007-0_BIB9“，”series-title“：”数学导论“，”author“：”Kleene“，”year“：”1952“}”，{“key”：“10.1016\/0304-375（79）9007-0_BAB10”，“series-ttle”：“直觉主义与证明理论”，”article-title“：“直觉谓词演算完成的可实现性的抽象概念”，”author“：”Lauchli“，”year“：”1968“}，{”issue“：”3“，”key“：”10.1016\/0304-3975（79）90007-0_BIB11“，”doi-asserted-by“：”crossref“，”doi“：”101112\/plms\/s3-31.289“，”article-title“：”证明等价性与笛卡尔闭范畴之间的联系“，”volume“：“31”，“author”：“Mann”，“year”：“1975”，“journal-title”：“Proc.London Math.Soc.（3）“}，{”键“：”10.1016\/0304-3975（79）90007-0_BIB12“，”doi-asserted-by“：”crossref“，”first page“：”1“，”doi“：”10.1016\/0304-375（77）90053-6“，”article-title“：”类型的完全抽象模型\u03bb-calculi“，“volume”：“4”，“author”：“Milner”，“year”：“1977”，“journal-title”：“Theoret”。计算。科学。“}，{”key“：”10.1016\/0304-3975（79）90007-0_BIB13“，”series-tile“：”Proc.Int.Congr.of Math.“，”article-title“：”有序集理论的固有计算复杂性“，”author“：”Meyer“，”year“：”1974“}“普通英语中量化的正确处理”，“作者”：“蒙塔古”，“年份”：“1973”}，{“键”：“10.1016/0304-3975（79）90007-0_BIB15”，“系列标题”：“自然推导”，“作者”：“Prawitz”，“年份”：“1965”}，{“键”：“10.1016/0304-3975（79）90007-0_BIB16”，“首页”：“3”，“文章标题”：“Definebare Functionem im\u03bb Kalkul mit Typen”，“卷”：“17“，“作者”：“Schwichtenberg”，“年份”：“1975”，“新闻标题”：“Arch”。数学。逻辑“}，{”key“：”10.1016\/0304-3975（79）90007-0_BIB17“，”doi-asserted-by“：”crossref“，”first page“：“67”，“doi”：“10.1016\/0304-375（79）9006-9”，“article-title”：“直觉命题逻辑是多项式空间完备的”，“volume”：“9”，”author“：”Statman“，”year“1979”，”journal-title“：”Theoret.Compute.Sci.“}”，{“key”：“10.1016\/0304-3975（79）90007-0_BIB18“，”doi-asserted-by“：”crossref“，”unstructured“：”R.Statman，完备性，不变性和\u03bb-definitibility，J.符号逻辑，即将出版。“，”DOI“：”10.2307\/2273377“}，{”key“：”10.1016\/0304-3975（79）90007-0_BIB19“，”DOI-asserted-by“：”crossref“，”first page“：“1”，“DOI”：“10.1016\/0304-3775（76）90061-X”，“article-title”：“多项式时间层次结构”，“volume”：“3”，“author”：“Stockmeyer”，“year”：“1976”，“journal-title“：”Theoret.Compute.Scil“}，{”键“：”10.1016\/0304-3975（79）90007-0_BIB20“，”article-title“：“物种理论的可实现性解释”，“volume”：“453”，“author”：“Tait”，“year”：“1974”}]，“container-title”：[“theory Computer Science”]，“original-title（原始标题）：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:0304397579900070？httpAccept=text\/xml”，“content-type”：“text\/.xml”，“content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:0304397579900070？httpAccept=text\/plain”，“content-type”：“text\/plan”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[2020,2,5]]，“date-time”：”2020-02-05T06:32:1 9Z“，”timestamp“：1580884339000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0304397579900070”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1979,7]]}，‘references-count’：20，‘journal-issue’：{‘issue’：“1”，‘published-print’：{'date-parts'：[[197 9,7]]}}，“alternative-id”：[“0304397579900070”]，“URL”：“http:\/\/dx.doi.org\/10.1016\/0304-3975（79）90007-0“，”关系“：{}，”ISSN“：[”0304-3975“]，”ISSN-type“：[{”值“：”0304-975“，”类型“：”打印“}]，”主题“：[]，”发布“：{”日期部分“：[[1979,7]]}}}}