计算的二重性
摘要
工具书类
建议
计算的二重性 我们提出&mu- 微积分,λ的语法- 演算+控制操作符显示对称性,例如程序/上下文和调用-名称/调用-值。 这个演算是从蕴涵Gentzen的序列演算推导而来的 斯里兰卡 ,一个关键的经典。。。 一些直觉超协调逻辑中的对偶性 ICAART 2016:第八届代理与人工智能国际会议记录 构造(或直觉)逻辑中的对偶是一个重要的基本性质,因为 给定的构造逻辑可以反驳或篡改以下信息或知识: 由给定逻辑描述。 在…中。。。 经典的按需调用与对偶 TLCA’11:第十届lambda型结石及其应用国际会议记录 我们从呼叫者姓名和呼叫者价值二元性的角度研究呼叫者需求。 在最小和经典情况下,我们开发了call-by need的连续计算式版本。 因此,我们得到了call-by-…的一个自然扩展。。。
评论
信息和贡献者
问询处
发布于
发起人
出版商
出版历史
检查更新
限定符
第条
会议
接受率
贡献者
其他指标
文献计量学和引文
文献计量学
文章指标
其他指标
引文
引用人
Downen公司 (2024) 按未装箱值调用 美国计算机学会程序设计语言会议录 10.1145/3674654 8 :ICFP (845-879) 在线发布日期:2024年8月15日 粘合剂D Tzschentke M公司 米勒M 奥斯特曼K (2024) 挖掘序贯演算(功能珍珠) 美国计算机学会程序设计语言会议录 10.1145/3674639 8 :ICFP (395-425) 在线发布日期:2024年8月15日 拉姆齐S 沃尔波尔C (2024) 类型错误的程序无法评估 美国计算机学会程序设计语言会议录 10.1145/3632909 8 :POPL (2010-2040) 在线发布日期:2024年1月5日 福田Y (2023) λμμ-演算的S4推广 信息处理杂志 10.2197/ipsjjip.31.432 31 (432-439) 在线发布日期:2023年 Accattoli学院B 风暴T Hirschfeld R公司 (2023) 分享关于微积分的观点 2023年ACM SIGPLAN关于编程和软件的新思想、新范式和思考的国际研讨会论文集 10.1145/3622758.3622884 (179-190) 在线发布日期:2023年10月18日 Van Bakel S公司 吴恩 类型E (2023) 延迟约化的一个微积分 第25届声明式程序设计原理与实践国际研讨会论文集 10.1145/3610612.3610613 (1-13) 在线发布日期:2023年10月22日 巴蒂亚尼 努尔K (2023) 简单类型演算中的规范化 计算机科学中的数学结构 10.1017/S096012952200041X (1-33) 在线发布日期:2023年1月12日 DOWNEN P公司 阿里奥拉Z (2023) 经典(共)递归:力学 函数编程杂志 10.1017/S0956796822000168 33 在线发布日期:2023年4月4日 Accattoli学院B 格雷里·G 勒伯勒M (2023) 强Call-by值和多类型 计算理论——ICTAC 2023 10.1007/978-3-031-47963-2_13 (196-215) 在线发布日期:2023年12月4日 比尔纳卡M 查拉托尼克W Drab T系列 (2022) 抽象机按需强调用的简单高效实现 美国计算机学会程序设计语言会议录 10.1145/3549822 6 :ICFP (109-136) 在线发布日期:2022年8月31日 显示更多引用者