首页> 外文OA文献 >Towards an Implicit Calculus of Inductive Constructions. Extending the Implicit Calculus of Constructions with Union and Subset Types.

【2h】

Towards an Implicit Calculus of Inductive Constructions. Extending the Implicit Calculus of Constructions with Union and Subset Types.

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

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Bernardo Bruno;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On the formalization of the Modal μ-Calculus in the Calculus of Inductive Constructions [J] . Marino Miculan Information and computation . 2001,第1期

机译：关于归纳微积分中模态微积分的形式化
2. A SPECULATIVE STUDY ON NEGATIVE-DIMENSIONAL POTENTIAL AND WAVE PROBLEMS BY IMPLICIT CALCULUS MODELING APPROACH [J] . Chen Wen, Wang Fajie Fractals: An interdisciplinary journal on the complex geometry of nature . 2017,第6期

机译：隐含微积分建模方法对负维势和波问题的推测研究
3. An implicit stabilized finite element method for the compressible Navier-Stokes equations using finite calculus [J] . Kouhi Mohammad, Onate Eugenio Computational Mechanics: Solids, Fluids, Fracture Transport Phenomena and Variational Methods . 2015,第1期

机译：可压缩的Navier-Stokes方程的隐式稳定有限元方法
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. Implicit Subset Enumeration by Top-Down Construction of Decision Diagrams and Its Applications to Combinatorial Problems [D] . 鈴木, 浩史 2019

机译：决策图自顶向下构造的隐式子集枚举及其在组合问题中的应用
6. Extending the Implicit Association Test (IAT): Assessing Consumer Attitudes Based on Multi-Dimensional Implicit Associations [O] . Valentin Gattol, Maria Sääksjärvi, Claus-Christian Carbon 2009

机译：扩展隐式关联测试（IAT）：基于多维隐式关联评估消费者的态度
7. The Implicit Calculus of Constructions - Extending Pure Type Systems with an Intersection Type Binder and Subtyping [O] . Alexandre Miquel 2001

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

Towards an Implicit Calculus of Inductive Constructions. Extending the Implicit Calculus of Constructions with Union and Subset Types.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅