迪莉娅·凯斯纳;巴勃罗·E·马丁内斯·洛佩兹。 对象和函数的显式替换。 (英语) Zbl 0946.68020号 J.功能。日志。程序。 1999年,规范发行。2,第2条,33页(1999年). 摘要:本文提出了一种通过具有显式替换的微积分来实现对象和函数的方法,该方法融合并保持强规范化。源演算对应于Abadi和Cardelli的sigma演算与lambda演算的组合,而目标演算对应着前一演算的扩展,带有显式替换。我们演算的有趣之处在于,替换被分离并相应地处理为两种不同的类型:用于编码普通替换的替换和用于编码调用替换的替换。当使用显式替换时,这种区分对于按照Abadi和Cardelli提出的风格,以保守的方式将lambda演算编码为sigma演算至关重要。 引用于1文件 MSC公司: 68甲18 函数编程和lambda演算 关键词:lambda演算;西格玛演算 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner}和\textit{P.E.Martinez-Lopez},J.Funct。日志。程序。1999年,第2条,33页(1999年;Zbl 0946.68020) 全文: 链接