Formal SOS-Proofs for the Lambda-Calculus

机译：Lambda演算的正式SOS证明

代理获取

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

页面导航

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

著录项

作者
Urban Christian; Narboux Julien;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 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. On randomised strategies in the lambda-calculus [J] . Theoretical computer science . 2020,第期

机译：关于λ - 微积分的随机策略
3. The untyped computational lambda-calculus and its intersection type discipline [J] . deLiguoro Ugo, Treglia Riccardo Theoretical computer science . 2020,第1期

机译：无型计算λ - 微积分及其交叉型纪律
4. Atomic lambda-calculus: a typed lambda-calculus with explicit sharing [C] . Tom Gundersen, Willem Heijltjes, Michel Parigot Annual ACM/IEEE Symposium on Logic in Computer Science . 2013

机译：原子λ - 微积分：一种具有明确分享的类型的λ - 微积分
5. A comparison of the perceptions of the importance of formal supervision training between formally trained counselor supervisors and non-formally trained counselor supervisors. [D] . Krushinski, Maura. 2004

机译：正式培训的辅导员主管与非正式培训的辅导员主管之间对正式督导培训的重要性的看法进行了比较。
6. Training and Profile of Special Olympics Portugal Coaches: Influence of Formal and Non-Formal Learning [O] . Pedro Pires, Marco Batista, Daniel A. Marinho, 2021

机译：特别奥运会葡萄牙教练的培训和概况：正式和非正规学习的影响
7. Formal SOS-Proofs for the Lambda-Calculus [O] . Urban, Christian, Narboux, Julien 2008

机译：Lambda演算的正式SOS证明

Formal SOS-Proofs for the Lambda-Calculus

著录项

引文网络

相似文献

相关主题

期刊订阅