道格拉斯·J·豪。；斯科特·斯托勒。 结合经典集合论和函数编程语言的操作方法。 （英语） Zbl 0942.03528号 Hagiya，Masami（编辑）等人，《计算机软件的理论方面》。1994年4月19日至22日，第二届TACS’94国际研讨会，日本仙台。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。789, 36-55 (1994). 摘要：我们设计了一个基于函数式编程语言与经典集合论的集成的编程逻辑。该逻辑通过使用等价类将经典的等式观点与构造性观点相结合，同时允许使用等价类的代表进行计算。给定一种程序设计语言及其操作语义，通过用集合论和经典逻辑的算子扩展该语言，并用这些新算子的“求值”规则扩展操作语义，得到一种逻辑。这种操作方法允许我们进行通用设计。我们给出了指定评估语义的一般形式，并将我们的设计参数化为可在此形式中指定的语言。这使我们能够一劳永逸地证明语义的重要性质，例如平等处理的一致性。有关整个系列，请参见[Zbl 0925.68012号]. 引用于三文件 MSC公司： 03B70号 计算机科学中的逻辑 68甲18 函数编程和lambda演算 软件：Nuprl公司；伊莎贝尔/采埃孚 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Howe}和\textit{S.D.Stoller}，莱克特。票据计算。科学。789，36-55（1994；Zbl 0942.03528）