首页> 外文OA文献 >A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus

【2h】

A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus

机译：类型原子Lambda-Calculus强归一化的证明

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Tom Gundersen; Willem Heijltjes; Michel Parigot;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search [J] . Santo Jose Espirito, Matthes Ralph, Pinto Luis Mathematical structures in computer science . 2019,第8期

机译：通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
2. Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus [J] . Kentaro Kikuchi LIPIcs : Leibniz International Proceedings in Informatics . 2013,第2期

机译：通过将不确定性转换为Klop的扩展Lambda微积分来证明强归一化
3. Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus [J] . BeniaminoAccattoli, DeliaKesner Logical Methods in Computer Science . 2012,第1期

机译：结构λ演算的强归一化模置换的保留
4. A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus [C] . Tom Gundersen, Willem Heijltjes, Michel Parigot International conference on logic for programming, artificial intelligence, and reasoning . 2013

机译：类型化原子Lambda微积分的强归一化证明
5. Strong metal support interaction of Pt on TiO2 grown by atomic layer deposition and physical vapor deposition for fuel cell applications. [D] . Hansen, Robin Paul. 2016

机译：通过原子层沉积和物理气相沉积在燃料电池应用中生长的Pt在TiO2上的强金属支撑相互作用。
6. Atomic‐Scale Visualization and Quantification of Configurational Entropy in Relation to Thermal Conductivity: A Proof‐of‐Principle Study in t‐GeSb2Te4 [O] . Yongjin Chen, Bin Zhang, Yongsheng Zhang, 2021

机译：与导热系数相关的原子尺可视化和定量配置熵：T-GESB2Te4中的原则上研究
7. A proof of strong normalisation of the typed atomic lambda-calculus [O] . Gundersen Tom, Heijltjes Willem, Parigot Michel 2013

机译：类型化原子λ演算的强规范化的证明

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号