×
马丁·阿巴迪；卢卡·卡德利；居里，P.-L。；莱维，J.-J。

显式替换。 （英语） Zbl 0941.68542号

J.功能。程序。 第1期，第4期，375-416页（1991年）.
摘要：\（lambda\ sigma\）-演算是\（lampda\）-微积分的细化，其中显式地操作替换。（lambda\sigma）-演算为研究替换理论提供了一个环境，具有令人愉快的数学性质。它也是经典（lambda）演算和具体实现之间的有用桥梁。

引用于三评论
引用于124文件

MSC公司：

68甲18 函数编程和lambda演算
68问题55 计算理论中的语义学
03B40型 组合逻辑与lambda演算

关键词：

具有显式替换的lambda-calculi；类型检查；探索；类型规则
PDF格式BibTeX公司 XML格式引用
\textit{M.Abadi}等人，J.Funct。程序。1，第4号，375--416（1991；Zbl 0941.68542）
全文： 内政部

参考文献：

[1] Curry，组合逻辑1（1958）
[2] Klop，组合还原系统（1980）·Zbl 0466.03006号
[3] Curien，分类组合器，序列算法和函数编程（1986）
[4] 内政部：10.1016/0304-3975（89）90105-9·Zbl 0707.03012号 ·doi:10.1016/0304-3975（89）90105-9
[5] 印第安纳州德布鲁因。材料34第381页–（1972年）·doi:10.1016/1385-7258（72）90034-0
[6] 内政部：10.1016/0304-3975（86）90035-6·Zbl 0618.68031号 ·doi:10.1016/0304-3975（86）90035-6
[7] 巴伦德雷格特，《兰姆达演算：句法和语义》（1985）·Zbl 0597.03009号
[8] Huet，形式语言理论：观点和开放问题第349页–（1980）·doi:10.1016/B978-0-12-115350-2.50017-8
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。