戈登·普洛金；权力，约翰 代数效应的充分性。 （英语） Zbl 0986.68055号 Honsell，Furio（编辑）等人，《软件科学和计算结构基础》。2001年4月2日至6日在意大利热那亚举行的第四届国际会议FOSSACS 2001，该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2030, 1-24 (2001). 小结：莫吉提出了计算效应的一元模型。他还介绍了计算演算（lambda）-演算，（lambda_c），一种用于效果的核心调用-值函数编程语言；通过添加适当的操作可以获得这些效果。问题是人们能否对操作语义进行相应的处理。我们在代数效应的情况下这样做，其中操作由一个单排序的代数签名给出，在某种意义上，它们的语义由单子支持。我们考虑带递归和不带递归的按值调用PCF，这是\（\lambda_c\）的扩展，带有算术。我们证明了一般的充分性定理，并用两个例子加以说明：不确定性和概率不确定性。有关整个系列，请参见[Zbl 0960.00057号]. 引用于1审查引用于41文件 MSC公司： 第68季度55 计算理论中的语义学 68甲18 函数编程和lambda演算 关键词：计算\（\lambda\）-微积分；函数式程序设计语言 PDF格式BibTeX公司 XML格式引用 \textit{G.Plotkin}和\textit{J.Power}，莱克特。票据计算。科学。2030年1月24日（2001年；Zbl 0986.68055）