具有定义和广义约简的Barendregt立方体
摘要
工具书类
建议
使用参数优化Barendregt立方体 FLOPS’01:第五届函数与逻辑编程国际研讨会会议记录 Barendregt立方体(在[3]中介绍)是一个框架,其中以统一的方式描述了八个重要类型的λ-演算。 此外,许多类型的系统(如Automath[18]、LF[11]、ML[17]和系统F[10])可以与这八个系统中的一个相关。。。 Barendregt问题#26与组合强约化 可计算性的革命与启示
评论
信息和贡献者
问询处
发布于
出版商
出版历史
限定符
研究文章
贡献者
其他指标
文献计量学和引文
文献计量学
文章指标
8 引文总数 查看引文 0 总下载次数
下载量(最近12个月) 0 下载次数(最近6周) 0
其他指标
引文
引用人
卡马雷丁F J井 (2024) 通过Finite-Set声明的交集类型 逻辑、语言、信息和计算 10.1007/978-3-031-62687-6_6 (80-92) 在线发布日期:2024年6月10日 贵迪F (2021) 图解变量通用量化的形式化系统 ACM计算逻辑事务 10.1145/3470646 23 :1 (1-37) 在线发布日期:2021年10月22日 丹佛O 米利金K 尼尔森L (2007) 关于单程CPS变换 函数编程杂志 10.1017/S0956796807006387 17 :6 (793-812) 在线发布日期:2007年11月1日 布鲁R 卡马雷丁F 拉恩·T 荷兰盾R (2002) 纯类型系统中的参数 第五届拉丁美洲理论信息学研讨会论文集 10.5555/646389.690494 (371-385) 在线发布日期:2002年4月3日 卡马雷丁F 布鲁R 荷兰盾R 德尼古拉·R Söndergaard H公司 (2001) De Bruijn的句法与λ-项的约简等价 第三届ACM SIGPLAN声明式编程原理与实践国际会议记录 10.1145/773184.773187 (16-27) 在线发布日期:2001年9月5日 穆尼奥斯C (2001) 从属类型和显式替换:元理论的发展 计算机科学中的数学结构 10.1017/S0960129500003261 11 :1 (91-129) 在线发布日期:2001年2月1日 布鲁R (2001) 具有显式替换的纯类型系统 计算机科学中的数学结构 10.1017/S096012950000325X号 11 :1 (3-19) 在线发布日期:2001年2月1日 瑟伦森M (1997) 类型λ-演算中弱正规化的强正规化 信息与计算 2006年10月10日/inco.1996.2622 133 :1 (35-71) 网上发布日期:1997年2月25日