Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness

Murdoch J. Gabbay; Michael J. Gabbay

doi:10.1016/j.apal.2016.10.001

非类型λ-演算在名义格和拓扑语义中的表示和对偶，以及拓扑完备性的证明

默多克·J·加贝，迈克尔·加布贝（Michael J.Gabbay）

伦敦国王学院

研究成果:对日记账的贡献›第条›同行审查

5 引文（Scopus）

191 下载（纯）

摘要

基于标称集上的拓扑对偶定理，给出了λ-演算的语义。根据伴随给出了λ的一种新的解释，λ-项被绝对地解释为集合（不需要赋值）。

原始语言	英语
日记账	纯逻辑和应用逻辑年鉴
早期在线日期	2016年10月8日
内政部	https://doi.org/10.1016/j.apal.2016.10.001
出版物状态	电子出版物提前出版-2016年10月8日

关键词

名义代数
Fresh有限极限
λ-微积分
光谱空间
格和顺序
变量
标称技术
数学基础
Fraenkel–Mostowski集合论

访问文档

2016年10月10日/j.apal.2016.10.001

代表性和双重性_GABBAY_Accepted 2016年10月1日_GREEN AAM接受的作者手稿，1.31 MB许可证：抄送BY-NC-ND

引用这个

@文章{e3e4adadb0843bfb75b196e9d1715ef，

title=“非类型λ-演算在名义格和拓扑语义中的表示和对偶，以及拓扑完整性的证明”，

abstract=“我们基于标称集上的拓扑对偶定理给出了λ-演算的语义。根据伴随给出了对λ的一种新的解释，λ-项被绝对地解释为集（不需要赋值）。”，

keywords=“名义代数，Fresh-有限极限，Lambda-calculus，谱空间，格和序，变量，名义技术，数学基础，Fraenkel–Mostowski集合理论”，

author=“加巴伊（Gabbay），{默多克（Murdoch）J.}和加巴伊，{迈克尔J.}”，

year=“2016”，

月=10月，

day=“8”，

doi=“10.1016/j.apal.2016.10.001”，

language=“英语”，

journal=“纯逻辑和应用逻辑年鉴”，

issn=“0168-0072”，

publisher=“爱思唯尔”，

}

TY-JOUR公司

标称格和拓扑语义中非类型λ-演算的T1-表示和对偶性，以及拓扑完备性的证明

澳大利亚-加巴伊，默多克·J·。

澳大利亚-加巴伊，迈克尔·J。

2016年10月8日

2016年10月1日

基于标称集上的拓扑对偶定理，给出了λ-演算的语义。根据伴随给出了λ的一种新的解释，λ-项被绝对地解释为集合（不需要赋值）。

我们基于标称集上的拓扑对偶定理给出了λ-演算的语义。根据伴随给出了λ的一种新的解释，λ-项被绝对地解释为集合（不需要赋值）。

KW-名义代数

KW-Fresh有限限值

KW-λ-微积分

KW-光谱空间

KW-格子和订单

KW-变量

KW-标称技术

KW-数学基础

KW-弗伦克尔-莫斯托夫斯基集理论

U2-10.1016/j.apal.2016.10.001

DO-10.1016/j.apal.2016.10.001

M3-物品

序号：0168-0072

JO-纯逻辑和应用逻辑年鉴

JF-纯逻辑和应用逻辑年鉴

急诊室-

非类型λ-演算在名义格和拓扑语义中的表示和对偶，以及拓扑完备性的证明

摘要

关键词

访问文档

指纹

引用这个