A unified approach to type theory through a refined λ-calculus

机译：通过改进的λ微积分对类型理论进行统一处理的方法

代理获取

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

页面导航

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

著录项

作者
Kamareddine Fairouz; Nederpelt Rob;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Unified Theory of Program Logics: An Approach based on the π-Calculus [J] . Kohei Honda, Nobuko Yoshida The Computer journal . 2011,第1期

机译：程序逻辑的统一理论：一种基于π演算的方法
2. A Unified Theory of Program Logics: An Approach based on the π-Calculus1 [J] . Kohei Honda, Nobuko Yoshida Computer Journal, The . 2011,第1期

机译：程序逻辑的统一理论：一种基于π演算 1 的方法
3. A unified presentation of three families of generalized Apostol type polynomials based upon the theory of the umbral calculus and the umbral algebra [J] . Dere R., Simsek Y., Srivastava H.M. Journal of Number Theory . 2013,第10期

机译：基于本影演算和本影代数理论的三个广义Apostol型多项式的统一表示
4. A Unified Theory of Program Logics: An Approach based on the p-Calculus [C] . Kohei Honda, Nobuko Yoshida BCS International Academic Conference . 2008

机译：统一的节目逻辑理论：基于P-SUMPULUS的方法
5. The Stochastic-Calculus Approach to Selected Topics in Information Theory [D] . Shende, Nirmal Vijay. 2019

机译：信息理论中所选主题的随机微积分方法
6. COVID-19 Sepsis: Pathogenesis and Endothelial Molecular Mechanisms Based on Two-Path Unifying Theory of Hemostasis and Endotheliopathy-Associated Vascular Microthrombotic Disease and Proposed Therapeutic Approach with Antimicrothrombotic Therapy [O] . Jae C Chang 2021

机译：Covid-19败血症：基于双径统一理论的止血和内皮病相关血管微生物疾病的发病机制和内皮分子机制并提出了抗微生物组织治疗的治疗方法
7. A unified approach to type theory through a refined $\lambda$-calculus [O] . Kamareddine, F Fairouz, Nederpelt, RP Rob 1994

机译：通过改进的$ \ lambda $-微积分对类型理论进行统一处理的方法
8. Unified Approach to Type Theory through a Refined lambda-Calculus [R] . Nederpelt, R., Kamareddine, F. 1992

机译：通过精化lambda-Calculus统一理论类型理论

A unified approach to type theory through a refined λ-calculus

著录项

引文网络

相似文献

相关主题

期刊订阅