首页> 外文OA文献 >On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation)

【2h】

On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation)

机译：关于证明带类型的Lambda项的约简性质的一般方法（逻辑和计算结构的证明理论研究）

页面导航

著录项
相似文献
相关主题

著录项

作者
Kikuchi Kentaro;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. PROVING PROPERTIES OF TYPED LAMBDA-TERMS USING REALIZABILITY, COVERS, AND SHEAVES [J] . Gallier J. Theoretical computer science . 1995,第2期

机译：利用可实现性，覆盖率和薄片证明类型化的Lambda条款的性质
2. Multicomponent proof-theoretic method for proving interpolation properties [J] . Roman Kuznets Annals of Pure and Applied Logic . 2018,第12期

机译：用于证明插值特性的多组分证明方法
3. Multicomponent proof-theoretic method for proving interpolation properties [J] . Roman Kuznets Annals of Pure and Applied Logic . 2018,第12期

机译：用于证明插值特性的多组分证明方法
4. New notions of reduction and non-semantic proofs of strong /spl beta/-normalization in typed /spl lambda/-calculi [C] . Kfoury, A.J., Wells, . 1995

机译：类型化的/ spl lambda / -calculi中强大的/ spl beta /-归一化的归约新概念和非语义证明
5. Theoretical and Computational Study of Optical Properties of Complex Plasmonic Structures [D] . Khorashad, Larousse Khosravi. 2017

机译：复杂等离子体结构光学性质的理论与计算研究
6. Synthesis Characterization Absorption Properties and Electronic Structures of Paddlewheel-Type Dirhodium(II) Tetra-μ-(n-naphthoate) Complexes: An Experimental and Theoretical Study [O] . Yusuke Kataoka, Raiki Fukumoto, Natsumi Yano, 2019

机译：桨轮型四（n-萘甲酸）吡啶鎓（II）吡啶鎓（II）配合物的合成表征吸收性质和电子结构：实验和理论研究
7. An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $Pi^1_1$-Analysis with $omega$-rule (Proof theoretical study of the structure of logic and computation) [O] . Akiyoshi Ryota 2009

机译：$ Pi ^ 1_1 $-带有$ omega $规则的分析子系统的割除定理的无序证明（逻辑和计算结构的证明理论研究）
8. Lambda P-: A Pure Type System for First Order Logic with Automated Theorem211 Proving [R] . Franssen, M. 1997

机译：Lambda p-：具有自动定理211证明的一阶逻辑的纯类型系统

On General Methods for Proving Reduction Properties of Typed Lambda Terms (Proof theoretical study of the structure of logic and computation)

著录项

相似文献

相关主题

期刊订阅