首页> 外文OA文献 >Preservation of strong normalisation modulo permutations for the structural lambda-calculus

【2h】

Preservation of strong normalisation modulo permutations for the structural lambda-calculus

机译：保持结构lambda演算的强归一化模数排列

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Beniamino Accattoli; Delia Kesner;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus [J] . BeniaminoAccattoli, DeliaKesner Logical Methods in Computer Science . 2012,第1期

机译：结构λ演算的强归一化模置换的保留
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. A note on preservation of strong normalisation in the λ-calculus [J] . Jose Espirito Santo Theoretical computer science . 2011,第11期

机译：关于在λ微积分中保留强归一化的注意事项
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. Organic carbon input, degradation and preservation in continental margin sediments: An assessment of the role of a strong oxygen-deficient zone [D] . Hartnett, Hilairy Ellen 1998

机译：大陆边缘沉积物中的有机碳输入，降解和保存：评估强缺氧区的作用
6. On Permutation Procedures for Strong Control in Multiple Testing with Gene Expression Data [O] . Grzegorz A. Rempala, Yuhong Yang -1

机译：在置换程序强大的控制在多个测试与基因表达数据
7. Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus [O] . Accattoli, Beniamino, Kesner, Delia 2012

机译：结构lambda演算的强归一化模置换的保留
8. Preservation of Strong Normalisation for Explicit Substitution [R] . Bloo, R. 1995

机译：保持显性替换的强正常化

Preservation of strong normalisation modulo permutations for the structural lambda-calculus

著录项

引文网络

相似文献

相关主题

期刊订阅