首页> 外文OA文献 >The Implicit Calculus of Constructions - Extending Pure Type Systems with an Intersection Type Binder and Subtyping

【2h】

The Implicit Calculus of Constructions - Extending Pure Type Systems with an Intersection Type Binder and Subtyping

机译：构造的隐式演算-具有交叉型粘合剂和子型的扩展纯类型系统。

页面导航

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

著录项

作者
Alexandre Miquel;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Judgmental subtyping systems with intersection types and modal types [J] . Jeongbong Seo, Sungwoo Park Acta Informatica . 2013,第7a8期

机译：具有交叉类型和模态类型的判断子类型系统
2. Judgmental subtyping systems with intersection types and modal types [J] . Jeongbong Seo, Sungwoo Park Acta Informatica . 2013,第7a8期

机译：具有交叉类型和模态类型的判断子类型系统
3. Linearization of the lambda-calculus and its relation with intersection type systems [J] . MARIO FLORIDO, LUIS DAMAS Journal of Functional Programming . 2004,第Pt5期

机译：Lambda演算的线性化及其与相交类型系统的关系
4. The Implicit Calculus of Constructions: Extending Pure Type Systems with an Intersection Type Binder and Subtyping [C] . Alexandre Miquel International Conference on Typed Lambda Calculi and Applications . 2001

机译：结构隐含微积分：用交叉型粘合剂和亚型延伸纯型系统
5. An extended structured query language incorporating object data types for the construction industry [D] . Hollister, Kevin Cole. 1992

机译：一种扩展的结构化查询语言，其中包含用于建筑行业的对象数据类型
6. Performance Characteristics of Human Immunodeficiency Virus Type 1 (HIV-1) Genotyping Systems in Sequence-Based Analysis of Subtypes Other than HIV-1 Subtype B [O] . Linda L. Jagodzinski, John D. Cooley, Mark Weber, 2003

机译：人类免疫缺陷病毒1型（HIV-1）基因分型系统在基于序列的非HIV-1 B亚型分析中的性能特征
7. Towards an Implicit Calculus of Inductive Constructions. Extending the Implicit Calculus of Constructions with Union and Subset Types. [O] . Bernardo Bruno 2009

机译：对归纳构造的隐式演算。用联合和子集类型扩展构造的隐式演算。

The Implicit Calculus of Constructions - Extending Pure Type Systems with an Intersection Type Binder and Subtyping

著录项

引文网络

相似文献

相关主题

期刊订阅