{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[2022,4,4]，“日期-时间”：“2022-04-04T00:38:57Z”，“时间戳”：1649032737921}，“引用-计数”：0，“出版商”：“剑桥大学出版社（CUP）”，“发行”：“2”，“许可证”：[{“开始”：{-“日期-零件”：[[1998,3,1]]，“日期时间”：“1998-03-01T00:00:00Z”，“时间戳”：888710400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J.Funct.Prog.“]，”published-print“：{”date-parts“：[[1998,3]]}”，“abstract”（摘要）：“在本文中，我们通过两种不同的逻辑解释了函数程序的两种不同操作解释。程序是简单类型的\u03bb项，具有对、投影、if-then-else和最少不动点递归。按值调用求值的逻辑和按名称调用求值的逻辑是作为系统的扩展获得的，我们称之为部分项的基本逻辑（BPT）。此逻辑适用于证明在严格和非严格评估下有效的程序属性。我们使用指称语义中的方法来表明，BPT的两个扩展足以进行按值调用和按名称调用的计算。\程序或逻辑都不包含常量\u2018undefined\u2019。：[“为什么常数\u2018undefined\u2019？严格和非严格函数编程语言的部分术语逻辑“]，“前缀”：“10.1017”，“卷”：“8”，“作者”：[{“给定”：“ROBERT F.”，“家族”：“ST\u00c4RK”，“序列”：“第一”，“从属”：[]}]，“成员”：“56”，“在线发布”：{“日期部分”：[[1998,3,1]]}，“容器-时间”：[“函数编程杂志”]，“原始标题”：[]，“language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S095679688002974“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,3,31]]，”date-time“：“2019-03-31T15:31:50Z”，“timestamp”：155404631000}，“分数”：1，“resource“：{”primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S09567968002974\/type\/journal_article”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1998,3]]}，”references-count“：0，”journal-issue“：{“issue”：“2”，“published-print”：{-“date-ports”：[[1998,1]]]}}alternative-id“：[”S095679898002974“]，“URL”：“http:\/\/dx.doi.org\/10.1017\/s0956796898002974“，”关系“：{}，”ISSN“：[”0956-7968“，”1469-7653“]，”ISSN-type“：[{”value“：”09567-7968“，”type“:”print“}，{”value“：”1469-7.653“，”类型“：”electronic“}]，”主题“：[]，”发布“：{”date-parts“：[[1998,3]]}}}}